`:top

Eine `!Distribution`! bezeichnet im Bereich der `F33f`_`[Mathematik`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Mathematik]`_`f eine besondere Art eines `F33f`_`[Funktionals`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Funktional]`_`f, also ein Objekt aus der `F33f`_`[Funktionalanalysis`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Funktionalanalysis]`_`f.

Die Theorie der Distributionen ermöglicht es, eine Art von Lösungen für Differentialgleichungen zu definieren, die im klassischen Sinn nicht hinreichend oft `F33f`_`[differenzierbar`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Differentialrechnung]`_`f oder gar nicht definiert sind (siehe `F33f`_`[distributionelle Lösung`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Distributionelle_Lösung]`_`f). In diesem Sinne können Distributionen als eine Verallgemeinerung des Begriffs der `F33f`_`[Funktion`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Funktion_(Mathematik)]`_`f angesehen werden. Es gibt `F33f`_`[partielle Differentialgleichungen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Partielle_Differentialgleichung]`_`f, die keine klassischen Lösungen, aber Lösungen im distributionellen Sinn haben. Die Theorie der Distributionen ist daher insbesondere in der `F33f`_`[Physik`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Physik]`_`f und in den `F33f`_`[Ingenieurwissenschaften`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Ingenieurwissenschaften]`_`f wichtig: Viele der dort untersuchten Probleme führen nämlich zu `F33f`_`[Differentialgleichungen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Differentialgleichung]`_`f, die nur mit Hilfe der Theorie der Distributionen gelöst werden konnten.

Der Mathematiker `F33f`_`[Laurent Schwartz`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Laurent_Schwartz]`_`f war maßgeblich an der Untersuchung der Theorie der Distributionen beteiligt. Im Jahr 1950 veröffentlichte er den ersten systematischen Zugang zu dieser Theorie. Für seine Arbeiten über die Distributionen erhielt er die `F33f`_`[Fields-Medaille`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Fields-Medaille]`_`f.

>>Contents

• `F0af`_`[Geschichte der Distributionentheorie`#geschichte-der-distributionentheorie]`_`f

• `F0af`_`[Definitionen`#definitionen]`_`f

• `F0af`_`[Distribution`#distribution]`_`f

• `F0af`_`[Raum der Distributionen`#raum-der-distributionen]`_`f

• `F0af`_`[Ordnung einer Distribution`#ordnung-einer-distribution]`_`f

• `F0af`_`[Reguläre Distribution`#regul-re-distribution]`_`f

• `F0af`_`[Testfunktionen`#testfunktionen]`_`f

• `F0af`_`[Zwei unterschiedliche Sichtweisen`#zwei-unterschiedliche-sichtweisen]`_`f

• `F0af`_`[Beispiele`#beispiele]`_`f

• `F0af`_`[Stetige Funktion als Erzeuger`#stetige-funktion-als-erzeuger]`_`f

• `F0af`_`[Delta-Distribution`#delta-distribution]`_`f

• `F0af`_`[Dirac-Kamm`#dirac-kamm]`_`f

• `F0af`_`[Radon-Maße`#radon-ma-e]`_`f

• `F0af`_`[Cauchyscher Hauptwert von 1 / x`#cauchyscher-hauptwert-von-1-x]`_`f

• `F0af`_`[Oszillierendes Integral`#oszillierendes-integral]`_`f

• `F0af`_`[Konvergenz`#konvergenz]`_`f

• `F0af`_`[Lokalisierung`#lokalisierung]`_`f

• `F0af`_`[Einschränkung auf eine Teilmenge`#einschr-nkung-auf-eine-teilmenge]`_`f

• `F0af`_`[Träger`#tr-ger]`_`f

• `F0af`_`[Kompakter Träger`#kompakter-tr-ger]`_`f

• `F0af`_`[Singulärer Träger`#singul-rer-tr-ger]`_`f

• `F0af`_`[Operationen auf Distributionen`#operationen-auf-distributionen]`_`f

• `F0af`_`[Multiplikation mit einer Funktion`#multiplikation-mit-einer-funktion]`_`f

• `F0af`_`[Differentiation`#differentiation]`_`f

• `F0af`_`[Tensorprodukt`#tensorprodukt]`_`f

• `F0af`_`[Glättung einer Distribution`#gl-ttung-einer-distribution]`_`f

• `F0af`_`[Faltung mit einer Funktion`#faltung-mit-einer-funktion]`_`f

• `F0af`_`[Faltung zweier Distributionen`#faltung-zweier-distributionen]`_`f

• `F0af`_`[Temperierte Distributionen`#temperierte-distributionen]`_`f

• `F0af`_`[Fourier-Transformation`#fourier-transformation]`_`f

• `F0af`_`[Faltungstheorem`#faltungstheorem]`_`f

• `F0af`_`[Differentialgleichungen`#differentialgleichungen]`_`f

• `F0af`_`[Lösungen im Distributionensinne`#l-sungen-im-distributionensinne]`_`f

• `F0af`_`[Beispiel`#beispiel]`_`f

• `F0af`_`[Fundamentallösungen`#fundamentall-sungen]`_`f

• `F0af`_`[Harmonische Distributionen`#harmonische-distributionen]`_`f

• `F0af`_`[Distributionen als Integralkerne`#distributionen-als-integralkerne]`_`f

• `F0af`_`[Distributionen auf Mannigfaltigkeiten`#distributionen-auf-mannigfaltigkeiten]`_`f

• `F0af`_`[Rücktransport`#r-cktransport]`_`f

• `F0af`_`[Definition`#definition]`_`f

• `F0af`_`[Reguläre Distributionen auf Mannigfaltigkeiten`#regul-re-distributionen-auf-mannigfaltigkeiten]`_`f

• `F0af`_`[Einzelnachweise`#einzelnachweise]`_`f

• `F0af`_`[Literatur`#literatur]`_`f

-─

>>Geschichte der Distributionentheorie

Im Jahr 1903 führte `F33f`_`[Jacques Hadamard`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Jacques_Hadamard]`_`f den für die Distributionentheorie zentralen Begriff des `F33f`_`[Funktionals`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Funktional]`_`f ein. Aus heutiger Sicht ist ein Funktional eine Funktion, die anderen Funktionen eine Zahl zuordnet. Hadamard konnte zeigen, dass jedes `F33f`_`[stetige`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Stetige_Funktion]`_`f, `F33f`_`[lineare`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Lineare_Abbildung]`_`f Funktional T {\\displaystyle T} als Grenzwert einer `F33f`_`[Folge`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Folge_(Mathematik)]`_`f von `F33f`_`[Integralen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Integral]`_`f

T ( f ) = lim n → → ∞ ∞ ∫ ∫ f ( t ) g n ( t ) d t {\\displaystyle T(f)=\\lim _{n\\to \\infty }\\int f(t)g_{n}(t)\\mathrm {d} t}

dargestellt werden kann. In dieser Darstellung dürfen Grenzwert und Integral im Allgemeinen nicht vertauscht werden. Im Jahr 1910 konnte gezeigt werden, dass jedes stetige, lineare Funktional auf L p {\\displaystyle L^{p}} , dem `F33f`_`[Raum der p-integrierbaren Funktionen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Lp-Raum]`_`f, als

T ( f ) = ∫ ∫ f ( x ) g ( x ) d x {\\displaystyle T(f)=\\int f(x)g(x)\\mathrm {d} x}

mit g ∈ ∈ L q {\\displaystyle g\\in L^{q}} und 1 p + 1 q = 1 {\\displaystyle {\\tfrac {1}{p}}+{\\tfrac {1}{q}}=1} dargestellt werden kann. Bei dieser Formulierung muss kein Grenzwert gebildet werden und g {\\displaystyle g} ist eindeutig bestimmt. Deshalb wird das Funktional T {\\displaystyle T} oft mit der „Funktion“ g {\\displaystyle g} identifiziert. Dann hat g {\\displaystyle g} zwei unterschiedliche Bedeutungen: Zum einen versteht man g {\\displaystyle g} als L q {\\displaystyle L^{q}} -„Funktion“, zum anderen wird es mit dem Funktional T {\\displaystyle T} gleichgesetzt.

Als erster beschäftigte sich `F33f`_`[Paul Dirac`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Paul_Dirac]`_`f in den 1920er Jahren bei Forschungen in der `F33f`_`[Quantenmechanik`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Quantenmechanik]`_`f mit Distributionen.`:cite-ref-1[`F5bf`_`[1`#cite-note-1]`_`f] Er führte dabei die wichtige `F33f`_`[Delta-Distribution`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Delta-Distribution]`_`f ein. Jedoch benutzte er noch keine mathematisch präzise Definition für diese Distribution. Er ließ bei seinen Untersuchungen die damalige Funktionalanalysis, also die Theorie der Funktionale, außer Acht. In den 1930er Jahren beschäftigte sich `F33f`_`[Sergei Lwowitsch Sobolew`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Sergei_Lwowitsch_Sobolew]`_`f mit `F33f`_`[Anfangswertproblemen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Anfangswertproblem]`_`f bei `F33f`_`[partiellen hyperbolischen Differentialgleichungen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Partielle_Differentialgleichung]`_`f. Für diese Untersuchungen führte er die heute nach ihm benannten `F33f`_`[Sobolew-Räume`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Sobolew-Raum]`_`f ein. Im Jahr 1936 untersuchte Sobolew hyperbolische Differentialgleichungen zweiter Ordnung mit `F33f`_`[analytischen Koeffizientenfunktionen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Analytische_Funktion]`_`f. Um ein griffigeres Kriterium für die Existenz einer Lösung dieser partiellen Differentialgleichung angeben zu können, erweiterte Sobolew die Fragestellung auf den Raum der Funktionale.`:cite-ref-2[`F5bf`_`[2`#cite-note-2]`_`f] Damit war er der erste, der die heutige Definition einer Distribution formulierte. Er entwickelte allerdings noch keine umfassende Theorie aus seinen Definitionen, sondern verwendete sie nur als Hilfsmittel zur Untersuchung partieller Differentialgleichungen.

Schließlich entwickelte `F33f`_`[Laurent Schwartz`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Laurent_Schwartz]`_`f die Theorie der Distributionen im Winter 1944/45. Zu diesem Zeitpunkt waren ihm Sobolews Arbeiten noch unbekannt, doch stieß auch er genau wie Sobolew durch Fragen im Bereich der partiellen Differentialgleichungen auf spezielle Funktionale, die er nun Distributionen nannte.`:cite-ref-3[`F5bf`_`[3`#cite-note-3]`_`f] Von da an wurde die Theorie derart schnell weiterentwickelt, dass Schwartz darüber schon im Winter 1945/46 Vorlesungen in Paris halten konnte. Elektrotechniker, die seine Vorlesungen besuchten, drängten ihn dazu, seine Theorie in Richtung der `F33f`_`[Fourier-`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Kontinuierliche_Fourier-Transformation]`_`f und der `F33f`_`[Laplacetransformationen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Laplace-Transformation]`_`f weiterzuentwickeln. Im Jahr 1947 hatte Schwartz den Raum der `F33f`_`[temperierten Distributionen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Temperierte_Distribution]`_`f definiert und damit die Fourier-Transformationen in seine Theorie integriert. 1950/51 erschien seine `F33f`_`[Monografie`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Monografie]`_`f `*Theorie des Distributions,`* wodurch seine Theorie weiter gefestigt wurde. Schon 1950 erhielt er für seine Forschungen im Bereich der Distributionen die `F33f`_`[Fields-Medaille`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Fields-Medaille]`_`f, eine der höchsten Auszeichnungen im Bereich der Mathematik.

Die Theorie der Distributionen wurde von da an in der `F33f`_`[theoretischen Physik`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Theoretische_Physik]`_`f und in der Theorie der `F33f`_`[partiellen Differentialgleichungen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Partielle_Differentialgleichung]`_`f weiterentwickelt. Die Distributionentheorie ist nützlich, um singuläre Objekte der Physik wie zum Beispiel die elektromagnetische `F33f`_`[Punktladung`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Punktladung]`_`f oder die `F33f`_`[Punktmasse`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Punktmasse]`_`f mathematisch präzise zu beschreiben. Diese beiden physikalischen Objekte können mit Hilfe der Delta-Distribution geeignet beschrieben werden, denn von der räumlichen `F33f`_`[Dichtefunktion`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Dichtefunktion]`_`f eines Massenpunktes mit Einheitsmasse wird gefordert, dass sie überall verschwindet, außer an einem Punkt. Dort muss sie unendlich werden, da das Raumintegral über die Dichtefunktion 1 ergeben soll (Einheitsmasse). Es gibt keine Funktion im üblichen Sinn, die diese Forderungen erfüllt. In der Theorie der partiellen Differentialgleichungen und der `F33f`_`[Fourieranalyse`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Fourieranalyse]`_`f sind Distributionen wichtig, da mit dieser Begriffsbildung jeder `F33f`_`[lokal integrierbaren Funktion`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Lokal_integrierbare_Funktion]`_`f eine Ableitung zugeordnet werden kann.

>>Definitionen

>>>Distribution

Sei Ω Ω ⊂ ⊂ R n {\\displaystyle \\Omega \\subset \\mathbb {R} ^{n}} eine offene, `F33f`_`[nichtleere`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Menge_(Mathematik)]`_`f Menge. Eine Distribution T {\\displaystyle T} ist ein `F33f`_`[stetiges`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Stetige_Funktion]`_`f und `F33f`_`[lineares`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Lineare_Abbildung]`_`f `F33f`_`[Funktional`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Funktional]`_`f auf dem Raum der `F33f`_`[Testfunktionen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Testfunktion]`_`f D ( Ω Ω ) {\\displaystyle {\\mathcal {D}}(\\Omega )} .

Ausführlich ist eine Distribution eine `F33f`_`[Abbildung`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Funktion_(Mathematik)]`_`f T : : D ( Ω Ω ) → → C {\\displaystyle T\\colon {\\mathcal {D}}(\\Omega )\\to \\mathbb {C} } beziehungsweise T : : D ( Ω Ω ) → → R {\\displaystyle T\\colon {\\mathcal {D}}(\\Omega )\\to \\mathbb {R} } , so dass für alle ϕ ϕ 1 , ϕ ϕ 2 ∈ ∈ D ( Ω Ω ) {\\displaystyle \\phi _{1},\\phi _{2}\\in {\\mathcal {D}}(\\Omega )} und λ λ ∈ ∈ C {\\displaystyle \\lambda \\in \\mathbb {C} }

T ( ϕ ϕ 1 + λ λ ϕ ϕ 2 ) = T ( ϕ ϕ 1 ) + λ λ T ( ϕ ϕ 2 ) {\\displaystyle T(\\phi _{1}+\\lambda \\phi _{2})=T(\\phi _{1})+\\lambda T(\\phi _{2})}

und

T ( ϕ ϕ n ) → → T ( ϕ ϕ ) {\\displaystyle T(\\phi _{n})\\to T(\\phi )} ,

wann immer ϕ ϕ n → → ϕ ϕ {\\displaystyle \\phi _{n}\\to \\phi } in D ( Ω Ω ) {\\displaystyle {\\mathcal {D}}(\\Omega )} , gilt.

>>>Raum der Distributionen

Die Menge der Distributionen ist mit den entsprechenden Verknüpfungen der Addition und der `F33f`_`[Skalarmultiplikation`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Skalarmultiplikation]`_`f also der topologische `F33f`_`[Dualraum`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Dualraum]`_`f zum Testfunktionenraum D {\\displaystyle {\\mathcal {D}}} und wird daher als D ′ {\\displaystyle {\\mathcal {D}}'} notiert. Das Zeichen ′ {\\displaystyle '} bezeichnet in der Funktionalanalysis den topologischen Dualraum. Um überhaupt von Stetigkeit und topologischem Dualraum sprechen zu können, muss der Raum der Testfunktionen mit einer `F33f`_`[lokalkonvexen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Lokalkonvexer_Raum]`_`f Topologie ausgestattet sein.

Oft verwendet man daher die folgende Charakterisierung als alternative Definition, da diese ohne die Topologie des Testfunktionenraums auskommt und kein Wissen über lokalkonvexe Räume erforderlich ist:

Sei Ω Ω ⊂ ⊂ R n {\\displaystyle \\Omega \\subset \\mathbb {R} ^{n}} eine offene Menge. Ein lineares Funktional T : : D ( Ω Ω ) → → C {\\displaystyle T\\colon {\\mathcal {D}}(\\Omega )\\to \\mathbb {C} } heißt Distribution, wenn für jedes Kompaktum K ⊂ ⊂ Ω Ω {\\displaystyle K\\subset \\Omega } ein C > 0 {\\displaystyle C>0} und ein k ∈ ∈ N 0 {\\displaystyle k\\in \\mathbb {N} _{0}} existieren, sodass für alle Testfunktionen ϕ ϕ ∈ ∈ D ( K ) {\\displaystyle \\phi \\in {\\mathcal {D}}(K)} die Ungleichung

| T ( ϕ ϕ ) | ≤ ≤ C ‖ ‖ ϕ ϕ ‖ ‖ C b k ( K ) := C ∑ ∑ | α α | ≤ ≤ k sup x ∈ ∈ K | ∂ ∂ α α ϕ ϕ ( x ) | {\\displaystyle |T(\\phi )|\\leq C\\|\\phi \\|_{C_{b}^{k}(K)}:=C\\sum _{|\\alpha |\\leq k}^{}\\sup _{x\\in K}\\left|\\partial ^{\\alpha }\\phi (x)\\right|}

gilt. Diese Definition ist äquivalent zu der zuvor gegebenen, denn die Stetigkeit des Funktionals T {\\displaystyle T} folgt aus dieser Ungleichung, obwohl sie nicht für ganz Ω Ω {\\displaystyle \\Omega } gelten muss, weil D ( Ω Ω ) {\\displaystyle {\\mathcal {D}}(\\Omega )} als `F33f`_`[(LF)-Raum`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=(LF)-Raum]`_`f `F33f`_`[bornologisch`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Bornologischer_Raum]`_`f ist.

>>>Ordnung einer Distribution

Kann in der obigen alternativen Definition für alle Kompakta K {\\displaystyle K} dieselbe Zahl k {\\displaystyle k} gewählt werden, so wird das kleinstmögliche k {\\displaystyle k} als Ordnung von T {\\displaystyle T} bezeichnet. Die Menge der Distributionen der Ordnung k {\\displaystyle k} wird mit D ′ k ( Ω Ω ) {\\displaystyle {\\mathcal {D}}'^{k}(\\Omega )} bezeichnet und mit D F ′ ( Ω Ω ) := ⋃ ⋃ k D ′ k ( Ω Ω ) {\\displaystyle \\textstyle {\\mathcal {D}}'_{F}(\\Omega ):=\\bigcup _{k}{\\mathcal {D}}'^{k}(\\Omega )} notiert man die Menge aller Distributionen mit endlicher Ordnung. Dieser Raum ist kleiner als der allgemeine Distributionenraum D ′ ( Ω Ω ) {\\displaystyle {\\mathcal {D}}'(\\Omega )} , denn es gibt auch Distributionen, die nicht von endlicher Ordnung sind.

>>>Reguläre Distribution

Eine besondere Teilmenge der Distributionen sind die regulären Distributionen. Diese Distributionen werden durch eine `F33f`_`[lokal integrierbare Funktion`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Lokal_integrierbare_Funktion]`_`f f ∈ ∈ L l o c 1 ( R n ) {\\displaystyle f\\in L_{\\mathrm {loc} }^{1}(\\mathbb {R} ^{n})} erzeugt. Präzise bedeutet dies, dass eine Distribution T {\\displaystyle T} `*regulär`* genannt wird, wenn es eine Darstellung

T f ( ϕ ϕ ) = ∫ ∫ R n f ( t ) ϕ ϕ ( t ) d t {\\displaystyle T_{f}(\\phi )=\\int _{\\mathbb {R} ^{n}}f(t)\\phi (t)\\mathrm {d} t}

gibt, bei der f ∈ ∈ L l o c 1 ( R n ) {\\displaystyle f\\in L_{\\mathrm {loc} }^{1}(\\mathbb {R} ^{n})} eine lokal integrierbare Funktion ist. Distributionen, die nicht regulär sind, werden singulär genannt; dies sind Distributionen, für die es keine erzeugende Funktion f {\\displaystyle f} im Sinn dieser Definition gibt.

Diese Integraldarstellung einer regulären Distribution motiviert zusammen mit dem Skalarprodukt im R n {\\displaystyle \\mathbb {R} ^{n}} die alternative Schreibweise

( T , ϕ ϕ ) := T ( ϕ ϕ ) {\\displaystyle (T,\\phi ):=T(\\phi )}

für alle (nicht nur reguläre) Distributionen.

>>>Testfunktionen

→

Hauptartikel

:

Testfunktion

In der Definition der Distribution ist der Begriff der Testfunktion beziehungsweise der des Testfunktionenraums zentral. Dieser Testfunktionenraum ist der Raum der glatten Funktionen mit kompaktem Träger zusammen mit einer induzierten `F33f`_`[Topologie`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Topologischer_Raum]`_`f. Eine Topologie auf dem Testfunktionenraum zu wählen ist sehr wichtig, weil sonst der Begriff der Stetigkeit nicht sinnvoll definiert werden kann. Die Topologie wird auf dem Raum durch einen Konvergenzbegriff festgelegt.

Sei Ω Ω ⊂ ⊂ R n {\\displaystyle \\Omega \\subset \\mathbb {R} ^{n}} eine `F33f`_`[offene Teilmenge`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Offene_Menge]`_`f, dann bezeichnet

C c ∞ ∞ ( Ω Ω ) = { ϕ ϕ ∈ ∈ C ∞ ∞ ( Ω Ω ) ∣ ∣ supp ( ϕ ϕ ) i s t k o m p a k t e T e i l m e n g e v o n Ω Ω } {\\displaystyle C_{c}^{\\infty }(\\Omega )=\\{\\phi \\in C^{\\infty }(\\Omega )\\mid \\operatorname {supp} \\,(\\phi )\\mathrm {~ist~kompakte~Teilmenge~von~} \\Omega \\}}

die Menge aller unendlich oft differenzierbaren Funktionen, die einen `F33f`_`[kompakten`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Kompakter_Raum]`_`f `F33f`_`[Träger`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Träger_(Mathematik)]`_`f haben, also außerhalb einer kompakten Menge gleich null sind. Der Konvergenzbegriff wird festgelegt, indem man definiert: Eine Folge ( ϕ ϕ j ) j ∈ ∈ N {\\displaystyle (\\phi _{j})_{j\\in \\mathbb {N} }} mit ϕ ϕ j ∈ ∈ C c ∞ ∞ ( Ω Ω ) {\\displaystyle \\phi _{j}\\in C_{c}^{\\infty }(\\Omega )} konvergiert gegen ϕ ϕ {\\displaystyle {\\phi }} , wenn es ein Kompaktum K ⊂ ⊂ Ω Ω {\\displaystyle K\\subset \\Omega } gibt mit supp ⁡ ⁡ ( ϕ ϕ j ) ⊂ ⊂ K {\\displaystyle \\operatorname {supp} (\\phi _{j})\\subset K} für alle j {\\displaystyle j} und

lim j → → ∞ ∞ sup x ∈ ∈ K | ∂ ∂ α α ∂ ∂ x α α ( ϕ ϕ j − − ϕ ϕ ) ( x ) | = 0 {\\displaystyle \\lim _{j\\rightarrow \\infty }\\sup _{x\\in K}\\left|{\\frac {\\partial ^{\\alpha }}{\\partial x^{\\alpha }}}\\left(\\phi _{j}-\\phi \\right)(x)\\right|=0}

für alle Multiindizes α α ∈ ∈ N n {\\displaystyle \\alpha \\in \\mathbb {N} ^{n}} . Die Menge C c ∞ ∞ ( Ω Ω ) {\\displaystyle C_{c}^{\\infty }(\\Omega )} ist – ausgestattet mit diesem Konvergenzbegriff – ein `F33f`_`[lokalkonvexer Raum`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Lokalkonvexer_Raum]`_`f, den man `*Raum der Testfunktionen`* nennt und als D ( Ω Ω ) {\\displaystyle {\\mathcal {D}}(\\Omega )} notiert.

>>Zwei unterschiedliche Sichtweisen

Wie weiter oben im Abschnitt zur Definition der Distribution beschrieben, ist eine Distribution ein `F33f`_`[Funktional`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Funktional]`_`f, also eine `F33f`_`[Funktion`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Funktion_(Mathematik)]`_`f mit bestimmten Zusatzeigenschaften. Im Abschnitt Geschichte der Distributionentheorie wurde dagegen gesagt, dass die Delta-Distribution keine Funktion sein kann. Dies ist offensichtlich ein Widerspruch, der sich auch in der aktuellen Literatur noch wiederfindet. Dieser Widerspruch entsteht dadurch, dass versucht wird, Distributionen – und auch Funktionale auf L p {\\displaystyle L^{p}} -Räumen – mit reellwertigen Funktionen zu identifizieren.

Insbesondere in der theoretischen Physik versteht man unter einer Distribution ein Objekt, beispielsweise δ δ {\\displaystyle \\delta } genannt, mit gewissen sich aus dem Kontext ergebenden Eigenschaften. Die gewünschten Eigenschaften verhindern oft, dass δ δ {\\displaystyle \\delta } eine Funktion sein kann, aus diesem Grund spricht man dann von einer `*verallgemeinerten Funktion.`* Nachdem nun die Eigenschaften von δ δ {\\displaystyle \\delta } festgelegt sind, betrachtet man die Zuordnung

C c ∞ ∞ ( Ω Ω ) ∋ ∋ ϕ ϕ ↦ ↦ ∫ ∫ δ δ ( x ) ϕ ϕ ( x ) d x ∈ ∈ R , {\\displaystyle C_{c}^{\\infty }(\\Omega )\\ni \\phi \\mapsto \\int \\delta (x)\\phi (x)\\mathrm {d} x\\in \\mathbb {R} ,}

die einer Testfunktion ϕ ϕ {\\displaystyle {\\phi }} eine reelle Zahl zuordnet. Da δ δ {\\displaystyle \\delta } jedoch im Allgemeinen keine Funktion ist, muss für den Ausdruck von Fall zu Fall erst ein Sinn erklärt werden.

Mathematisch gesehen ist eine Distribution eine Funktion mit bestimmten abstrakten Eigenschaften (Linearität und Stetigkeit), die einer Testfunktion eine reelle Zahl zuordnet. Ist das δ δ {\\displaystyle \\delta } aus vorigem Absatz eine integrierbare Funktion, so ist der Ausdruck T ( ϕ ϕ ) = ∫ ∫ δ δ ( x ) ϕ ϕ ( x ) d x {\\displaystyle \\textstyle T(\\phi )=\\int \\delta (x)\\phi (x)\\mathrm {d} x} mathematisch präzise definiert. Jedoch wird hier nicht die Funktion δ δ {\\displaystyle \\delta } als Distribution bezeichnet, sondern das Funktional ∫ ∫ δ δ ( x ) ⋅ ⋅ d x {\\displaystyle \\textstyle \\int \\delta (x)\\cdot \\mathrm {d} x} heißt Distribution.

Auch viele Mathematiklehrbücher unterscheiden nicht zwischen der (distributions-) `*erzeugenden`* Funktion δ δ {\\displaystyle \\delta } und der eigentlichen Distribution im mathematischen Sinne. In diesem Artikel wird vorwiegend die strengere mathematische Sichtweise verwendet.

>>Beispiele

>>>Stetige Funktion als Erzeuger

Sei Ω Ω ⊆ ⊆ R {\\displaystyle \\Omega \\subseteq \\mathbb {R} } und f ∈ ∈ C ( Ω Ω ) {\\displaystyle f\\in C(\\Omega )} , so ist durch

T ( ϕ ϕ ) := ∫ ∫ − − ∞ ∞ ∞ ∞ f ( x ) ϕ ϕ ( x ) d x {\\displaystyle T(\\phi ):=\\int _{-\\infty }^{\\infty }f(x)\\phi (x)\\mathrm {d} x}

für alle ϕ ϕ ∈ ∈ C c ∞ ∞ ( Ω Ω ) {\\displaystyle \\phi \\in C_{c}^{\\infty }(\\Omega )} eine Distribution T ∈ ∈ D ′ ( Ω Ω ) {\\displaystyle T\\in {\\mathcal {D}}'(\\Omega )} definiert.

>>>Delta-Distribution

→

Hauptartikel

:

Delta-Distribution

Die Delta-Distribution δ δ {\\displaystyle \\delta } ist eine singuläre Distribution. Das heißt, sie kann nicht durch eine gewöhnliche Funktion erzeugt werden, obwohl sie oft wie eine solche geschrieben wird. Es gilt:

δ δ ( ϕ ϕ ) := ϕ ϕ ( 0 ) . {\\displaystyle \\delta (\\phi ):=\\phi (0).}

Das heißt, die Delta-Distribution angewendet auf eine Testfunktion ϕ ϕ {\\displaystyle {\\phi }} ergibt den Wert der Testfunktion an der Stelle 0. So wie jede andere Distribution kann man auch die Delta-Distribution als Folge von Integraltermen ausdrücken. Die `F33f`_`[Dirac-Folge`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Dirac-Folge]`_`f

δ δ a ( x ) = 1 2 π π a ⋅ ⋅ e − − x 2 2 a {\\displaystyle \\delta _{a}(x)={\\frac {1}{\\sqrt {2\\pi a}}}\\cdot e^{-{\\frac {x^{2}}{2a}}}}

hat den `*Grenzwert`* (vergleiche z. B. die nebenstehende Animation)

G w ( x ) := lim a → → 0 δ δ a ( x ) = { 0 x ≠ ≠ 0 ∞ ∞ x = 0 , {\\displaystyle {\\mathrm {Gw} }(x):=\\lim _{a\\to 0}\\delta _{a}(x)={\\begin{cases}0&x\\neq 0\\\\\\infty &x=0\\end{cases}}\\,,}

was zu dem verschwindenden Integral ∫ ∫ R G w ( x ) d x = 0 {\\displaystyle \\textstyle \\int _{\\mathbb {R} }{\\rm {Gw}}(x){\\rm {d}}x=0} führen würde. Denn das Verhalten in nur einem Punkt fällt bei Integralen gewöhnlicher Funktionen nicht ins Gewicht.

Mit dieser Dirac-Folge kann man aber mit anderer Grenzwertbildung, vor dem Integral und nicht dahinter, die Delta-Distribution durch

δ δ ( ϕ ϕ ) = lim a → → 0 ∫ ∫ R δ δ a ( x ) ϕ ϕ ( x ) d x = lim a → → 0 ∫ ∫ R 1 2 π π a ⋅ ⋅ e − − x 2 2 a ϕ ϕ ( x ) d x = ϕ ϕ ( 0 ) {\\displaystyle \\delta (\\phi )=\\lim _{a\\to 0}\\int _{\\mathbb {R} }\\delta _{a}(x)\\phi (x)\\mathrm {d} x=\\lim _{a\\to 0}\\int _{\\mathbb {R} }{\\tfrac {1}{\\sqrt {2\\pi a}}}\\cdot e^{-{\\frac {x^{2}}{2a}}}\\phi (x)\\mathrm {d} x=\\phi (0)}

darstellen. Meistens wird allerdings die symbolische, zu mathematisch unpräziser Interpretation verleitende Schreibweise

δ δ ( ϕ ϕ ) = ∫ ∫ R δ δ ( x ) ϕ ϕ ( x ) d x = ϕ ϕ ( 0 ) {\\displaystyle \\delta (\\phi )=\\int _{\\mathbb {R} }\\delta (x)\\phi (x)\\mathrm {d} x=\\phi (0)}

für die Delta-Distribution verwendet, wobei man den Ausdruck δ δ ( x ) {\\displaystyle \\delta (x)} als `*verallgemeinerte Funktion`* bezeichnet und oft sogar das Wort `*verallgemeinert`* weglässt.

>>>Dirac-Kamm

→

Hauptartikel

:

Dirac-Kamm

Der Dirac-Kamm Δ Δ T {\\displaystyle \\Delta _{T}} mit T ∈ ∈ R {\\displaystyle T\\in \\mathbb {R} } ist eine periodische Distribution, die mit der diracschen Delta-Distribution eng verwandt ist. Diese Distribution ist für alle ϕ ϕ ∈ ∈ D ( R ) {\\displaystyle \\phi \\in {\\mathcal {D}}(\\mathbb {R} )} definiert als

Δ Δ T ( ϕ ϕ ) := ∑ ∑ n ∈ ∈ Z ϕ ϕ ( n T ) . {\\displaystyle \\Delta _{T}(\\phi ):=\\sum _{n\\in \\mathbb {Z} }\\phi (nT).}

Diese `F33f`_`[Reihe`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Reihe_(Mathematik)]`_`f konvergiert, da die Testfunktion ϕ ϕ {\\displaystyle {\\phi }} kompakten `F33f`_`[Träger`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Träger_(Mathematik)]`_`f hat und daher nur endlich viele Summanden ungleich null sind. Eine äquivalente Definition ist

Δ Δ T = ∑ ∑ n ∈ ∈ Z δ δ n T , {\\displaystyle \\Delta _{T}=\\sum _{n\\in \\mathbb {Z} }\\delta _{nT},}

wobei das Gleichheitszeichen als Gleichheit zwischen Distributionen zu verstehen ist. Die Reihe auf der rechten Seite konvergiert dann bezüglich der `F33f`_`[Schwach-*-Topologie`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Schwach-*-Topologie]`_`f. Auf die Konvergenz von Distributionen wird im `F33f`_`[Abschnitt Konvergenz`#konvergenz]`_`f näher eingegangen. Das in der Definition auftretende T {\\displaystyle T} ist eine reelle Zahl, die man als Periode des Dirac-Kamms bezeichnet. Anschaulich ist der Dirac-Kamm also aus unendlich vielen Delta-Distributionen zusammengesetzt, die im Abstand T {\\displaystyle T} zueinander stehen. Der Dirac-Kamm hat im Gegensatz zur Delta-Distribution keinen kompakten Träger. Was dies genau bedeutet, wird im Abschnitt `F33f`_`[Kompakter Träger`#kompakter-tr-ger]`_`f weiter unten erklärt.

>>>Radon-Maße

→

Hauptartikel

:

Radon-Maß

Mit M ( Ω Ω ) {\\displaystyle M(\\Omega )} wird die Menge aller Radon-Maße bezeichnet. Sei μ μ ∈ ∈ M ( Ω Ω ) . {\\displaystyle \\mu \\in M(\\Omega ).} Nun kann man mittels

μ μ ↦ ↦ ( D ( Ω Ω ) ∋ ∋ ϕ ϕ ↦ ↦ ∫ ∫ Ω Ω ϕ ϕ ( x ) d μ μ ( x ) ) {\\displaystyle \\mu \\mapsto \\left({\\mathcal {D}}(\\Omega )\\ni \\phi \\mapsto \\int _{\\Omega }\\phi (x)\\mathrm {d} \\mu (x)\\right)}

jedem μ μ {\\displaystyle \\mu } eine Distribution zuordnen. Auf diese Weise kann man M ( Ω Ω ) {\\displaystyle M(\\Omega )} `F33f`_`[stetig`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Stetige_Abbildung]`_`f in D ′ ( Ω Ω ) {\\displaystyle {\\mathcal {D}}'(\\Omega )} `F33f`_`[einbetten`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Einbettung_(Mathematik)]`_`f. Ein Beispiel für ein Radon-Maß ist das `F33f`_`[Dirac-Maß`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Dirac-Maß]`_`f δ δ {\\displaystyle \\delta } . Für alle A ⊂ ⊂ Ω Ω {\\displaystyle A\\subset \\Omega } ist es definiert durch

δ δ ( A ) := { 1 , falls 0 ∈ ∈ A , 0 , s o n s t . {\\displaystyle \\delta (A):={\\begin{cases}1\\ ,&{\\text{falls }}0\\in A\\ ,\\\\0\\ ,&\\mathrm {sonst} \\ .\\end{cases}}}

Identifiziert man das Dirac-Maß mit der erzeugenden Distribution

D ( Ω Ω ) ∋ ∋ ϕ ϕ ↦ ↦ ∫ ∫ Ω Ω ϕ ϕ ( x ) d δ δ ( x ) = ϕ ϕ ( 0 ) , {\\displaystyle {\\mathcal {D}}(\\Omega )\\ni \\phi \\mapsto \\int _{\\Omega }\\phi (x)\\mathrm {d} \\delta (x)=\\phi (0),}

so erhält man die Delta-Distribution, falls 0 ∈ ∈ Ω Ω ⊂ ⊂ R n {\\displaystyle 0\\in \\Omega \\subset \\mathbb {R} ^{n}} gilt.

>>>Cauchyscher Hauptwert von 1 / x

Der `F33f`_`[cauchysche Hauptwert`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Cauchyscher_Hauptwert]`_`f der Funktion x ↦ ↦ 1 x {\\displaystyle \\textstyle x\\mapsto {\\frac {1}{x}}} kann ebenfalls als Distribution T ∈ ∈ D ′ ( R ) {\\displaystyle T\\in {\\mathcal {D}}'(\\mathbb {R} )} aufgefasst werden. Für alle ϕ ϕ ∈ ∈ D ( R ) {\\displaystyle \\phi \\in {\\mathcal {D}}(\\mathbb {R} )} setzt man

T ( ϕ ϕ ) := PV ∫ ∫ − − ∞ ∞ ∞ ∞ ϕ ϕ ( x ) x d x := lim ε ε → → 0 ( ∫ ∫ − − ∞ ∞ − − ε ε ϕ ϕ ( x ) x d x + ∫ ∫ ε ε ∞ ∞ ϕ ϕ ( x ) x d x ) . {\\displaystyle {\\begin{aligned}T(\\phi )&:={\\text{PV}}\\int _{-\\infty }^{\\infty }{\\frac {\\phi (x)}{x}}\\mathrm {d} x\\\\&:=\\lim _{\\varepsilon \\to 0}\\left(\\int _{-\\infty }^{-\\varepsilon }{\\frac {\\phi (x)}{x}}\\mathrm {d} x+\\int _{\\varepsilon }^{\\infty }{\\frac {\\phi (x)}{x}}\\mathrm {d} x\\right).\\end{aligned}}}

Das ist eine singuläre Distribution, da der Integralausdruck im lebesgueschen Sinn nicht definiert ist und nur als cauchyscher Hauptwert existiert. Dabei steht die Abkürzung `*PV`* für `*principal value.`*

Diese Distribution wird meist zusammen mit der `F33f`_`[Dispersionsrelation`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Dispersionsrelation]`_`f lim ε ε → → 0 + 1 x − − i ε ε = P V ( 1 x ) + i π π δ δ ( x ) {\\displaystyle \\textstyle \\lim _{\\varepsilon \\to 0^{+}}{\\tfrac {1}{x-\\mathrm {i} \\varepsilon }}\\,=\\,{\\rm {PV}}({\\tfrac {1}{x}})+\\mathrm {i} \\pi \\delta (x)} (Plemelj-Sokhotsky-Formel) benutzt, wobei alle Distributionen, insbesondere δ δ ( ϕ ϕ ) {\\displaystyle \\delta (\\phi )} und T ( ϕ ϕ ) , {\\displaystyle T(\\phi ),} wie angegeben durch verallgemeinerte Funktionen ausgedrückt sind und i {\\displaystyle \\mathrm {i} } die imaginäre Einheit bezeichnet. Diese Beziehung verbindet in der linearen Antworttheorie Real- und Imaginärteil einer Antwortfunktion, siehe `F33f`_`[Kramers-Kronig-Beziehungen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Kramers-Kronig-Beziehungen]`_`f. (An dieser Stelle wird angenommen, dass die Testfunktionen ϕ ϕ {\\displaystyle \\phi } komplex sind, also ϕ ϕ ∈ ∈ C {\\displaystyle \\phi \\in \\mathbb {C} } , und auch die gerade angesprochenen Antwortfunktionen; aber das Argument x {\\displaystyle x} soll nach wie vor reell sein, obwohl natürlich x − − i ε ε {\\displaystyle x-\\mathrm {i} \\varepsilon } komplex ist, und nicht reell.)

>>>Oszillierendes Integral

→

Hauptartikel

:

Oszillierendes Integral

Für alle `F33f`_`[Symbole`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Symbolklasse]`_`f a ∈ ∈ S 1 , 0 m ( Ω Ω × × R n ) {\\displaystyle a\\in S_{1,0}^{m}(\\Omega \\times \\mathbb {R} ^{n})} nennt man

I ( a ) ( x ) := ∫ ∫ R n e i ⟨ ⟨ x , ξ ξ ⟩ ⟩ a ( x , ξ ξ ) d ξ ξ {\\displaystyle I(a)(x):=\\int _{\\mathbb {R} ^{n}}e^{i\\langle x,\\xi \\rangle }a(x,\\xi )\\mathrm {d} \\xi }

ein oszillierendes Integral. Dieser Integraltyp konvergiert je nach Wahl von m {\\displaystyle m} nicht im Riemann- oder Lebesguesinn, sondern nur im Sinn von Distributionen.

>>Konvergenz

Da der Distributionenraum als `F33f`_`[topologischer Dualraum`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Dualraum]`_`f definiert ist, trägt er ebenfalls eine `F33f`_`[Topologie`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Topologischer_Raum]`_`f. Als Dualraum eines `F33f`_`[Montelraums`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Montelraum]`_`f, versehen mit der `F33f`_`[starken Topologie`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Dualraum]`_`f, ist er selber ein Montelraum,`:cite-ref-4[`F5bf`_`[4`#cite-note-4]`_`f] daher fällt für Folgen die starke Topologie mit der `F33f`_`[Schwach-*-Topologie`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Schwach-*-Topologie]`_`f zusammen. Für Folgen entsteht also folgender Konvergenzbegriff: Eine Folge ( T n ) n ∈ ∈ N {\\displaystyle (T_{n})_{n\\in \\mathbb {N} }} von Distributionen konvergiert gegen T ∈ ∈ D ′ ( Ω Ω ) {\\displaystyle T\\in {\\mathcal {D}}'(\\Omega )} , wenn für jede Testfunktion ϕ ϕ ∈ ∈ D ( Ω Ω ) {\\displaystyle \\phi \\in {\\mathcal {D}}(\\Omega )} die Gleichung

lim j → → ∞ ∞ T j ( ϕ ϕ ) = T ( ϕ ϕ ) {\\displaystyle \\lim _{j\\to \\infty }T_{j}(\\phi )=T(\\phi )}

gilt.

Weil jede Testfunktion f ∈ ∈ D ( Ω Ω ) {\\displaystyle f\\in {\\mathcal {D}}(\\Omega )} mit T f ( ϕ ϕ ) := ∫ ∫ Ω Ω f ( x ) ϕ ϕ ( x ) d x {\\displaystyle \\textstyle T_{f}(\\phi ):=\\int _{\\Omega }f(x)\\phi (x)\\mathrm {d} x} identifiziert werden kann, kann D ( Ω Ω ) {\\displaystyle {\\mathcal {D}}(\\Omega )} als ein topologischer Teilraum von D ′ ( Ω Ω ) {\\displaystyle {\\mathcal {D}}'(\\Omega )} aufgefasst werden.

Der Raum D ( Ω Ω ) {\\displaystyle {\\mathcal {D}}(\\Omega )} liegt `F33f`_`[dicht`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Dichte_Teilmenge]`_`f in D ′ ( Ω Ω ) {\\displaystyle {\\mathcal {D}}'(\\Omega )} . Das bedeutet, dass für jede Distribution T ∈ ∈ D ′ ( Ω Ω ) {\\displaystyle T\\in {\\mathcal {D}}'(\\Omega )} eine Folge von Testfunktionen ( T j ) j ∈ ∈ N {\\displaystyle (T_{j})_{j\\in \\mathbb {N} }} in D ( Ω Ω ) {\\displaystyle {\\mathcal {D}}(\\Omega )} mit lim j → → ∞ ∞ T j = T {\\displaystyle \\textstyle \\lim _{j\\to \\infty }T_{j}=T} in D ′ ( Ω Ω ) {\\displaystyle {\\mathcal {D}}'(\\Omega )} existiert. Man kann also jede Distribution T {\\displaystyle T} durch

T ( ϕ ϕ ) = lim j → → ∞ ∞ ∫ ∫ Ω Ω T j ( x ) ϕ ϕ ( x ) d x {\\displaystyle T(\\phi )=\\lim _{j\\to \\infty }\\int _{\\Omega }T_{j}(x)\\phi (x)\\mathrm {d} x}

darstellen.

>>Lokalisierung

>>>Einschränkung auf eine Teilmenge

Seien Y ⊂ ⊂ Ω Ω ⊂ ⊂ R n {\\displaystyle Y\\subset \\Omega \\subset \\mathbb {R} ^{n}} offene Teilmengen und sei T ∈ ∈ D ′ ( Ω Ω ) {\\displaystyle T\\in {\\mathcal {D}}'(\\Omega )} eine Distribution. Die `F33f`_`[Einschränkung`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Einschränkung_(Mathematik)]`_`f T | Y {\\displaystyle T|_{Y}} von T {\\displaystyle T} auf die Teilmenge Y {\\displaystyle Y} ist definiert durch

T | Y ( ϕ ϕ ) : : = T ( ϕ ϕ ~ ~ ) {\\displaystyle T|_{Y}(\\phi )\\colon =T({\\tilde {\\phi }})}

für alle ϕ ϕ ∈ ∈ D ( Y ) {\\displaystyle \\phi \\in {\\mathcal {D}}(Y)} , wobei ϕ ϕ ~ ~ ∈ ∈ D ( Ω Ω ) {\\displaystyle {\\tilde {\\phi }}\\in {\\mathcal {D}}(\\Omega )} das auf Ω Ω ∖ ∖ Y {\\displaystyle \\Omega \\setminus Y} durch null fortgesetzte ϕ ϕ {\\displaystyle \\phi } ist.`:cite-ref-5[`F5bf`_`[5`#cite-note-5]`_`f]

>>>Träger

Sei T ∈ ∈ D ′ ( Ω Ω ) {\\displaystyle T\\in {\\mathcal {D}}'(\\Omega )} eine Distribution. Man sagt, dass ein Punkt x 0 ∈ ∈ Ω Ω {\\displaystyle x_{0}\\in \\Omega } zum Träger von T {\\displaystyle T} gehört, und schreibt x 0 ∈ ∈ supp ⁡ ⁡ ( T ) {\\displaystyle x_{0}\\in \\operatorname {supp} (T)} , wenn für jede offene Umgebung U ⊂ ⊂ Ω Ω {\\displaystyle U\\subset \\Omega } von x 0 {\\displaystyle x_{0}} eine Funktion ϕ ϕ ∈ ∈ D ( U ) {\\displaystyle \\phi \\in {\\mathcal {D}}(U)} existiert mit T ( ϕ ϕ ) ≠ ≠ 0 {\\displaystyle T(\\phi )\\neq 0} .`:cite-ref-6[`F5bf`_`[6`#cite-note-6]`_`f]

Falls T {\\displaystyle T} eine reguläre Distribution T = T f {\\displaystyle T=T_{f}} mit stetigem f {\\displaystyle f} ist, so ist diese Definition äquivalent zur Definition des `F33f`_`[Trägers einer Funktion`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Träger_(Mathematik)]`_`f (der Funktion f {\\displaystyle f} ).

>>>Kompakter Träger

Eine Distribution T ∈ ∈ D ′ ( Ω Ω ) {\\displaystyle T\\in {\\mathcal {D}}'(\\Omega )} hat einen kompakten Träger, wenn s u p p ( T ) {\\displaystyle \\mathrm {supp} (T)} ein `F33f`_`[kompakter Raum`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Kompakter_Raum]`_`f ist. Die Menge der Distributionen mit kompaktem Träger wird mit E ′ {\\displaystyle {\\mathcal {E}}'} bezeichnet. Sie ist ein `F33f`_`[Untervektorraum`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Untervektorraum]`_`f von D ′ {\\displaystyle {\\mathcal {D}}'} und der topologische Dualraum zu E {\\displaystyle {\\mathcal {E}}} , dem Raum der `F33f`_`[glatten Funktionen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Glatte_Funktion]`_`f C ∞ ∞ {\\displaystyle C^{\\infty }} . Auf diesem Raum wird durch die Familie von `F33f`_`[Halbnormen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Halbnorm]`_`f

ϕ ϕ ↦ ↦ ∑ ∑ | α α | ≤ ≤ m sup x ∈ ∈ K | ∂ ∂ α α ∂ ∂ x α α ϕ ϕ ( x ) | {\\displaystyle \\phi \\mapsto \\sum _{|\\alpha |\\leq m}\\sup _{x\\in K}\\left|{\\frac {\\partial ^{\\alpha }}{\\partial x^{\\alpha }}}\\phi (x)\\right|} ,

wobei m {\\displaystyle m} beliebige Werte aus N {\\displaystyle \\mathbb {N} } annimmt und K {\\displaystyle K} alle kompakten Teilmengen des R n {\\displaystyle \\mathbb {R} ^{n}} durchläuft, eine `F33f`_`[lokalkonvexe Topologie`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Lokalkonvexer_Raum]`_`f erzeugt.

>>>Singulärer Träger

Sei T ∈ ∈ D ′ ( Ω Ω ) {\\displaystyle T\\in {\\mathcal {D}}'(\\Omega )} eine Distribution. Man sagt, dass ein Punkt x 0 ∈ ∈ Ω Ω {\\displaystyle x_{0}\\in \\Omega } nicht zum singulären Träger s i n g s u p p ( T ) {\\displaystyle \\mathrm {sing\\,supp} (T)} gehört, wenn es eine offene Umgebung U ⊂ ⊂ Ω Ω {\\displaystyle U\\subset \\Omega } von x 0 {\\displaystyle x_{0}} und eine Funktion f ∈ ∈ C ∞ ∞ ( U ) {\\displaystyle f\\in C^{\\infty }(U)} gibt mit

T ( ϕ ϕ ) = ∫ ∫ U f ( x ) ϕ ϕ ( x ) d x {\\displaystyle T(\\phi )=\\int _{U}f(x)\\phi (x)\\mathrm {d} x}

für alle ϕ ϕ ∈ ∈ C c ∞ ∞ ( U ) {\\displaystyle \\phi \\in C_{c}^{\\infty }(U)} .

Anders gesagt: x 0 ∈ ∈ s i n g s u p p ( T ) {\\displaystyle x_{0}\\in \\mathrm {sing\\,supp} (T)} genau dann, wenn es keine offene Umgebung U {\\displaystyle U} von x 0 {\\displaystyle x_{0}} gibt, sodass die Einschränkung von T {\\displaystyle T} auf U {\\displaystyle U} gleich einer glatten Funktion ist. Insbesondere ist der singuläre Träger einer singulären Distribution nicht leer.`:cite-ref-7[`F5bf`_`[7`#cite-note-7]`_`f]

>>Operationen auf Distributionen

Da der Distributionenraum mit punktweiser Addition und Multiplikation mit komplexen Zahlen ein `F33f`_`[Vektorraum`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Vektorraum]`_`f über dem `F33f`_`[Körper`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Körper_(Algebra)]`_`f C {\\displaystyle \\mathbb {C} } ist, sind die Addition von Distributionen und die Multiplikation einer komplexen Zahl mit einer Distribution schon definiert.

Im Folgenden werden weitere Operationen auf Distributionen wie die `*Ableitung einer Distribution`* erklärt. Viele Operationen werden auf Distributionen übertragen, indem die entsprechende Operation auf die Testfunktionen angewendet wird. Ist zum Beispiel L : : D ( Ω Ω 1 ) → → L loc 1 ( Ω Ω 2 ) {\\displaystyle L\\colon {\\mathcal {D}}(\\Omega _{1})\\to L_{\\text{loc}}^{1}(\\Omega _{2})} eine lineare Abbildung, die eine D ( Ω Ω 1 ) {\\displaystyle D(\\Omega _{1})} -`F33f`_`[Testfunktion`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Testfunktion]`_`f auf eine L loc 1 ( Ω Ω 2 ) {\\displaystyle L_{\\text{loc}}^{1}(\\Omega _{2})} -Funktion abbildet, und existiert `*außerdem`* noch eine `F33f`_`[adjungierte`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Adjungierter_Operator]`_`f lineare und folgenstetige Abbildung L ∗ ∗ : : D ( Ω Ω 2 ) → → D ( Ω Ω 1 ) {\\displaystyle L^{*}\\colon {\\mathcal {D}}(\\Omega _{2})\\to {\\mathcal {D}}(\\Omega _{1})} , sodass für alle Testfunktionen φ φ ∈ ∈ D ( Ω Ω 1 ) {\\displaystyle \\varphi \\in {\\mathcal {D}}(\\Omega _{1})} und ψ ψ ∈ ∈ D ( Ω Ω 2 ) {\\displaystyle \\psi \\in {\\mathcal {D}}(\\Omega _{2})} gilt

∫ ∫ Ω Ω 1 φ φ ( x ) ( L ∗ ∗ ψ ψ ) ( x ) d x = ∫ ∫ Ω Ω 2 ( L φ φ ) ( x ) ψ ψ ( x ) d x {\\displaystyle \\int _{\\Omega _{1}}\\varphi (x)(L^{*}\\psi )(x)\\mathrm {d} x=\\int _{\\Omega _{2}}(L\\varphi )(x)\\psi (x)\\mathrm {d} x} ,

dann ist

L ~ ~ : : D ′ ( Ω Ω 1 ) → → D ′ ( Ω Ω 2 ) , L ~ ~ ( u ) ( φ φ ) = u ( L ∗ ∗ φ φ ) {\\displaystyle {\\tilde {L}}\\colon {\\mathcal {D}}'(\\Omega _{1})\\to {\\mathcal {D}}'(\\Omega _{2}){\\text{, }}{\\tilde {L}}(u)(\\varphi )=u(L^{*}\\varphi )}

eine wohldefinierte Operation auf Distributionen.

>>>Multiplikation mit einer Funktion

Sei T ∈ ∈ D ′ ( Ω Ω ) {\\displaystyle T\\in {\\mathcal {D}}'(\\Omega )} und a ∈ ∈ C ∞ ∞ ( Ω Ω ) {\\displaystyle a\\in C^{\\infty }(\\Omega )} . Dann wird die Distribution a T ∈ ∈ D ′ ( Ω Ω ) {\\displaystyle aT\\in {\\mathcal {D}}'(\\Omega )} definiert durch

∀ ∀ ϕ ϕ ∈ ∈ D ( Ω Ω ) : : ( a T ) ( ϕ ϕ ) := T ( a ϕ ϕ ) {\\displaystyle \\forall \\phi \\in {\\mathcal {D}}(\\Omega )\\colon (aT)(\\phi ):=T(a\\phi )} .

>>>Differentiation

>>>>Motivation

Betrachtet man eine stetig differenzierbare Funktion f {\\displaystyle f} und die ihr zugeordnete reguläre Distribution T f {\\displaystyle T_{f}} , so erhält man die Rechenregel

( T f ′ ′ , φ φ ) = ∫ ∫ Ω Ω f ′ ′ ( t ) φ φ ( t ) d t = − − ∫ ∫ Ω Ω f ( t ) φ φ ′ ′ ( t ) d t = − − ( T f , φ φ ′ ′ ) . {\\displaystyle {\\begin{aligned}(T_{f^{\\prime }},\\varphi )&=\\int _{\\Omega }f^{\\prime }(t)\\varphi (t)\\,\\mathrm {d} t\\\\&=-\\int _{\\Omega }f(t)\\varphi ^{\\prime }(t)\\,\\mathrm {d} t\\\\&=-(T_{f},\\varphi ^{\\prime }).\\end{aligned}}}

Hierbei wurde `F33f`_`[partielle Integration`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Partielle_Integration]`_`f verwendet, wobei die Randterme wegen der gewählten Eigenschaften der Testfunktion φ φ {\\displaystyle \\varphi } wegfallen. Dies entspricht der `F33f`_`[schwachen Ableitung`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Schwache_Ableitung]`_`f. Die beiden äußeren Terme sind auch für singuläre Distributionen definiert. Man verwendet dies zur Definition der Ableitung einer beliebigen Distribution T {\\displaystyle T} .

>>>>Definition

Sei also T ∈ ∈ D ′ ( Ω Ω ) {\\displaystyle T\\in {\\mathcal {D}}'(\\Omega )} eine Distribution, α α ∈ ∈ N n {\\displaystyle \\alpha \\in \\mathbb {N} ^{n}} ein `F33f`_`[Multiindex`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Multiindex]`_`f und x ∈ ∈ Ω Ω {\\displaystyle x\\in \\Omega } . Dann ist die `!Distributionsableitung`! ∂ ∂ x α α T ∈ ∈ D ′ ( Ω Ω ) {\\displaystyle \\partial _{x}^{\\alpha }T\\in {\\mathcal {D}}'(\\Omega )} definiert durch

( ∂ ∂ x α α T ) ( ϕ ϕ ) := ( − − 1 ) | α α | T ( ∂ ∂ x α α ϕ ϕ ) , ∀ ∀ ϕ ϕ ∈ ∈ D ( Ω Ω ) {\\displaystyle (\\partial _{x}^{\\alpha }T)(\\phi ):=(-1)^{|\\alpha |}T(\\partial _{x}^{\\alpha }\\phi ),\\quad \\forall \\phi \\in {\\mathcal {D}}(\\Omega )} .

Im eindimensionalen Fall bedeutet dies gerade

T ′ ( φ φ ) = − − T ( φ φ ′ ) {\\displaystyle T'(\\varphi )=-T(\\varphi ')} .

Häufig verwendet man für die Distributionsableitung auch die Notation D α α T {\\displaystyle D^{\\alpha }T} .

>>>>Beispiel

Die `F33f`_`[Heaviside-Funktion`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Heaviside-Funktion]`_`f H : : R → → R {\\displaystyle H\\colon \\mathbb {R} \\to \\mathbb {R} } ist durch

H ( x ) = { 0 : x ≤ ≤ 0 , 1 : x > 0 , {\\displaystyle H(x)={\\begin{cases}0:&x\\leq 0,\\\\1:&x>0,\\end{cases}}}

definiert. Sie ist mit Ausnahme der Stelle x = 0 {\\displaystyle x=0} überall differenzierbar. Man kann sie als reguläre Distribution betrachten und die Rechnung

( H ′ ′ , ϕ ϕ ) = − − ( H , ϕ ϕ ′ ′ ) = − − ∫ ∫ 0 ∞ ∞ 1 ⋅ ⋅ ϕ ϕ ′ ′ ( x ) d x = ϕ ϕ ( 0 ) = ( δ δ , ϕ ϕ ) {\\displaystyle {\\begin{aligned}(H^{\\prime },\\phi )&=-(H,\\phi ^{\\prime })\\\\&=-\\int _{0}^{\\infty }1\\cdot \\phi ^{\\prime }(x)\\,\\mathrm {d} x\\\\&=\\phi (0)\\\\&=(\\delta ,\\phi )\\end{aligned}}}

zeigt, dass ihre Ableitung (als Distribution) die `F33f`_`[Delta-Distribution`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Delta-Distribution]`_`f ist:

H ′ ′ = δ δ . {\\displaystyle H^{\\prime }=\\delta .}

Man kann außerdem die Delta-Distribution selbst ableiten:

( δ δ ( n ) , ϕ ϕ ) = ( − − 1 ) n ( δ δ , ϕ ϕ ( n ) ) = ( − − 1 ) n ϕ ϕ ( n ) ( 0 ) {\\displaystyle \\left(\\delta ^{(n)},\\phi \\right)=(-1)^{n}\\left(\\delta ,\\phi ^{(n)}\\right)=(-1)^{n}\\phi ^{(n)}(0)}

Die Ableitungen der Delta-Distribution sind also bis auf den zusätzlichen Vorzeichenfaktor ( − − 1 ) n {\\displaystyle (-1)^{n}} gleich den Ableitungen der Testfunktion an der Stelle x = 0. {\\displaystyle x=0.}

>>>Tensorprodukt

>>>>Motivation

Sei die Menge G ⊂ ⊂ R 2 n {\\displaystyle G\\subset \\mathbb {R} ^{2n}} als Produktraum G := G 1 × × G 2 {\\displaystyle G:=G_{1}\\times G_{2}} mit G 1 , G 2 ⊂ ⊂ R n {\\displaystyle G_{1},G_{2}\\subset \\mathbb {R} ^{n}} gegeben. Dann kann man auf den Funktionen f 1 ∈ ∈ C ∞ ∞ ( G 1 ) {\\displaystyle f_{1}\\in C^{\\infty }(G_{1})} und f 2 ∈ ∈ C ∞ ∞ ( G 2 ) {\\displaystyle f_{2}\\in C^{\\infty }(G_{2})} mittels der Vorschrift

( f 1 ⊗ ⊗ f 2 ) ( x , y ) ↦ ↦ f 1 ( x ) f 2 ( y ) {\\displaystyle (f_{1}\\otimes f_{2})(x,y)\\mapsto f_{1}(x)f_{2}(y)}

ein `F33f`_`[Tensorprodukt`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Tensorprodukt]`_`f definieren. Analog dazu kann man ein Tensorprodukt zwischen Distributionen definieren. Dazu werden zuerst reguläre Distributionen betrachtet. Seien f 1 ∈ ∈ L l o c 1 ( G 1 ) {\\displaystyle f_{1}\\in L_{loc}^{1}(G_{1})} und f 2 ∈ ∈ L l o c 1 ( G 2 ) {\\displaystyle f_{2}\\in L_{loc}^{1}(G_{2})} zwei lokal-integrierbare Funktionen, so folgt aus obiger Definition

( f 1 ⊗ ⊗ f 2 ) ( ϕ ϕ ) = ∫ ∫ G 1 × × G 2 f 1 ( x ) f 2 ( y ) ϕ ϕ ( x , y ) d ( x , y ) = ∫ ∫ G 1 f 1 ( x ) ∫ ∫ G 2 f 2 ( y ) ϕ ϕ ( x , y ) d y d x = ∫ ∫ G 2 f 2 ( y ) ∫ ∫ G 1 f 1 ( x ) ϕ ϕ ( x , y ) d x d y {\\displaystyle {\\begin{aligned}(f_{1}\\otimes f_{2})(\\phi )=&\\int _{G_{1}\\times G_{2}}f_{1}(x)f_{2}(y)\\phi (x,y)\\mathrm {d} (x,y)\\\\=&\\int _{G_{1}}f_{1}(x)\\int _{G_{2}}f_{2}(y)\\phi (x,y)\\mathrm {d} y\\mathrm {d} x\\\\=&\\int _{G_{2}}f_{2}(y)\\int _{G_{1}}f_{1}(x)\\phi (x,y)\\mathrm {d} x\\mathrm {d} y\\end{aligned}}}

für alle ϕ ϕ ∈ ∈ C c ∞ ∞ ( G 1 × × G 2 ) . {\\displaystyle \\phi \\in C_{c}^{\\infty }(G_{1}\\times G_{2}).} Daraus folgt

( f 1 ⊗ ⊗ f 2 ) ( ϕ ϕ ) = T f 1 ( T f 2 ( ϕ ϕ ) ) = T f 2 ( T f 1 ( ϕ ϕ ) ) . {\\displaystyle (f_{1}\\otimes f_{2})(\\phi )=T_{f_{1}}(T_{f_{2}}(\\phi ))=T_{f_{2}}(T_{f_{1}}(\\phi )).}

Hieraus leitet man folgende Definition ab:

>>>>Definition

Seien T 1 ∈ ∈ D ′ ( G 1 ) {\\displaystyle T_{1}\\in {\\mathcal {D}}'(G_{1})} und T 2 ∈ ∈ D ′ ( G 2 ) {\\displaystyle T_{2}\\in {\\mathcal {D}}'(G_{2})} . Dann ist T 1 ⊗ ⊗ T 2 {\\displaystyle T_{1}\\otimes T_{2}} eine Distribution aus D ′ ( G 1 × × G 2 ) {\\displaystyle {\\mathcal {D}}'(G_{1}\\times G_{2})} , die durch

( T 1 ⊗ ⊗ T 2 ) ( ϕ ϕ ) := T 1 ( T 2 ( ϕ ϕ ) ) = T 2 ( T 1 ( ϕ ϕ ) ) {\\displaystyle {\\begin{aligned}(T_{1}\\otimes T_{2})(\\phi )&:=T_{1}(T_{2}(\\phi ))=T_{2}(T_{1}(\\phi ))\\\\\\end{aligned}}}

definiert ist.

>>>Glättung einer Distribution

Distributionen können gezielt `*geglättet`* bzw. `*verschmiert`* bzw. `*approximiert`* werden, z. B., indem man die δ δ {\\displaystyle \\delta } -Distribution durch die reguläre Distribution einer glatten Approximationsfunktionen ersetzt, wie z. B. die δ δ {\\displaystyle \\delta } -Distribution durch die reguläre Distribution

T δ δ a ( φ φ ) = ∫ ∫ Ω Ω δ δ a ( x ) φ φ ( x ) d x {\\displaystyle T_{\\delta _{a}}(\\varphi )=\\int \\limits _{\\Omega }\\delta _{a}(x)\\varphi (x)\\mathrm {d} x}

der oben definierte Funktion δ δ a ( x ) {\\displaystyle \\delta _{a}(x)} oder die Heaviside-Distribution durch die reguläre Distribution der Integrale solcher Funktionen. Bei dreidimensionalen Differentialgleichungen kann man so z. B. feststellen, ob die Randbedingungen zu den Differentialgleichungen passen, die für das Innere gelten. Das ist für viele Anwendungen nützlich, zumal die Glättungsfunktionen, bis auf den Limes, nicht eindeutig vorgegeben sind, was zu erhöhter Flexibilität führt. Ebenso kann man auch gezielt Distributionen wie die obige PV-Distribution regularisieren, indem man z. B. die Testfunktionen mit geeigneten Faktoren versieht oder in anderer Weise vorgeht.

>>>Faltung mit einer Funktion

>>>>Definition

Sei T ∈ ∈ D ′ ( R n ) {\\displaystyle T\\in {\\mathcal {D}}'(\\mathbb {R} ^{n})} eine Distribution und ϕ ϕ ∈ ∈ C c ∞ ∞ ( R n ) {\\displaystyle \\phi \\in C_{c}^{\\infty }(\\mathbb {R} ^{n})} eine Funktion, dann ist die `F33f`_`[Faltung`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Faltung_(Mathematik)]`_`f von T {\\displaystyle T} mit ϕ ϕ {\\displaystyle \\phi } definiert durch

( T ∗ ∗ ϕ ϕ ) ( x ) := T ( ϕ ϕ ( x − − ⋅ ⋅ ) ) {\\displaystyle (T*\\phi )(x):=T(\\phi (x-\\cdot ))} .

>>>>Beispiel

Sei μ μ {\\displaystyle \\mu } ein Radon-Maß und sei T μ μ ∈ ∈ D ′ ( R n ) {\\displaystyle T_{\\mu }\\in {\\mathcal {D}}'(\\mathbb {R} ^{n})} die mit dem Radon-Maß identifizierte Distribution. Dann gilt für die Faltung von μ μ {\\displaystyle \\mu } mit ϕ ϕ ∈ ∈ C c ∞ ∞ ( R n ) {\\displaystyle \\phi \\in C_{c}^{\\infty }(\\mathbb {R} ^{n})}

( μ μ ∗ ∗ ϕ ϕ ) ( x ) := ( T μ μ ∗ ∗ ϕ ϕ ) ( x ) = T μ μ ( ϕ ϕ ( x − − ⋅ ⋅ ) ) = ∫ ∫ R n ϕ ϕ ( x − − y ) d μ μ ( y ) . {\\displaystyle (\\mu *\\phi )(x):=(T_{\\mu }*\\phi )(x)=T_{\\mu }(\\phi (x-\\cdot ))=\\int _{\\mathbb {R} ^{n}}\\phi (x-y)\\mathrm {d} \\mu (y).}

>>>>Eigenschaften

• Falls T {\\displaystyle T} eine glatte Funktion ist, so stimmt die Definition mit der `F33f`_`[Faltung`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Faltung_(Mathematik)]`_`f von Funktionen überein.

• Das Ergebnis der Faltung ist eine glatte Funktion, also gilt ( T ∗ ∗ ϕ ϕ ) ∈ ∈ C ∞ ∞ ( R n ) {\\displaystyle (T*\\phi )\\in C^{\\infty }(\\mathbb {R} ^{n})} .

• Für T ∈ ∈ D ′ ( R n ) {\\displaystyle T\\in {\\mathcal {D}}'(\\mathbb {R} ^{n})} und ϕ ϕ , ψ ψ ∈ ∈ C c ∞ ∞ ( R n ) {\\displaystyle \\phi ,\\psi \\in C_{c}^{\\infty }(\\mathbb {R} ^{n})} ist die Faltung assoziativ, das heißt, es gilt ( T ∗ ∗ ϕ ϕ ) ∗ ∗ ψ ψ = T ∗ ∗ ( ϕ ϕ ∗ ∗ ψ ψ ) ∈ ∈ C ∞ ∞ ( R n ) {\\displaystyle (T*\\phi )*\\psi =T*(\\phi *\\psi )\\in C^{\\infty }(\\mathbb {R} ^{n})} .

• Für jeden `F33f`_`[Multiindex`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Multiindex]`_`f α α {\\displaystyle \\alpha } gilt für die Ableitung der Faltung ∂ ∂ α α ( T ∗ ∗ ϕ ϕ ) = ( ∂ ∂ α α T ) ∗ ∗ ϕ ϕ = T ∗ ∗ ( ∂ ∂ α α ϕ ϕ ) {\\displaystyle \\partial ^{\\alpha }(T*\\phi )=(\\partial ^{\\alpha }T)*\\phi =T*(\\partial ^{\\alpha }\\phi )} .

>>>Faltung zweier Distributionen

>>>>Definition

Seien T 1 {\\displaystyle T_{1}} und T 2 {\\displaystyle T_{2}} zwei Distributionen, von denen mindestens eine kompakten Träger hat. Dann ist für alle ϕ ϕ ∈ ∈ C c ∞ ∞ ( R n ) {\\displaystyle \\phi \\in C_{c}^{\\infty }(\\mathbb {R} ^{n})} die Faltung zwischen diesen Distributionen definiert durch

( T 1 ∗ ∗ T 2 ) ∗ ∗ ϕ ϕ = T 1 ∗ ∗ ( T 2 ∗ ∗ ϕ ϕ ) {\\displaystyle (T_{1}*T_{2})*\\phi =T_{1}*(T_{2}*\\phi )} .

Die Abbildung

C c ∞ ∞ ( R n ) ∋ ∋ ϕ ϕ ↦ ↦ T 1 ∗ ∗ ( T 2 ∗ ∗ ϕ ϕ ) {\\displaystyle C_{c}^{\\infty }(\\mathbb {R} ^{n})\\ni \\phi \\mapsto T_{1}*(T_{2}*\\phi )}

ist linear, stetig und kommutiert mit Verschiebungen. Daher gibt es eine eindeutige Distribution T ∈ ∈ D ′ ( R n ) {\\displaystyle T\\in {\\mathcal {D}}'(\\mathbb {R} ^{n})} , sodass

T 1 ∗ ∗ ( T 2 ∗ ∗ ϕ ϕ ) = T ∗ ∗ ϕ ϕ {\\displaystyle T_{1}*(T_{2}*\\phi )=T*\\phi }

für alle ϕ ϕ ∈ ∈ C c ∞ ∞ ( R n ) {\\displaystyle \\phi \\in C_{c}^{\\infty }(\\mathbb {R} ^{n})} gilt.

Bemerkung: Die Bedingung, dass eine Distribution kompakten Träger hat, kann noch weiter abgeschwächt werden.

>>>>Eigenschaften

Diese Definition ist eine Verallgemeinerung der hier schon erwähnten Definitionen. Wählt man für T i {\\displaystyle T_{i}} eine reguläre Distribution, also eine Funktion, so entspricht dies den hier aufgeführten Definitionen. Es gelten die Eigenschaften:

• Die Faltung ist kommutativ: T 1 ∗ ∗ T 2 = T 2 ∗ ∗ T 1 {\\displaystyle T_{1}*T_{2}=T_{2}*T_{1}}

• Für den Träger gilt: supp ⁡ ⁡ ( T 1 ∗ ∗ T 2 ) ⊆ ⊆ supp ⁡ ⁡ ( T 1 ) + supp ⁡ ⁡ ( T 2 ) {\\displaystyle \\operatorname {supp} (T_{1}*T_{2})\\subseteq \\operatorname {supp} (T_{1})+\\operatorname {supp} (T_{2})}

• Für den singulären Träger erhält man: sing supp ⁡ ⁡ ( T 1 ∗ ∗ T 2 ) ⊆ ⊆ sing supp ⁡ ⁡ ( T 1 ) + sing supp ⁡ ⁡ ( T 2 ) {\\displaystyle \\operatorname {sing} \\,\\operatorname {supp} (T_{1}*T_{2})\\subseteq \\operatorname {sing} \\,\\operatorname {supp} (T_{1})+\\operatorname {sing} \\,\\operatorname {supp} (T_{2})}

>>Temperierte Distributionen

→

Hauptartikel

:

Temperierte Distribution

Die temperierten Distributionen bilden eine ausgezeichnete Teilmenge der bis hierhin betrachteten Distributionen auf dem Raum D ( R n ) {\\displaystyle {\\mathcal {D}}(\\mathbb {R} ^{n})} . Auf den temperierten Distributionen ist es möglich, die Fourier- und die Laplace-Transformation zu erklären.

>>>Fourier-Transformation

Um eine `F33f`_`[Fourier-Transformation`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Fourier-Transformation]`_`f F {\\displaystyle {\\mathcal {F}}} auf Distributionen definieren zu können, muss man die Menge der Distributionen erst einschränken. Nicht jede Funktion ist fouriertransformierbar, analog dazu kann man auch nicht für jede Distribution die Fouriertransformierte erklären. Aus diesem Grund entwickelte `F33f`_`[Laurent Schwartz`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Laurent_Schwartz]`_`f den heute nach ihm benannten `F33f`_`[Schwartz-Raum`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Schwartz-Raum]`_`f S ( R n ) {\\displaystyle {\\mathcal {S}}(\\mathbb {R} ^{n})} , indem er diesen Raum über eine Familie von Halbnormen definierte, die bezüglich der Multiplikation mit der Ortsvariablen x {\\displaystyle x} und der Differentiation danach symmetrisch ist. Weil die Fouriertransformation Differentiation nach x {\\displaystyle x} und Multiplikation mit x {\\displaystyle x} vertauscht, impliziert diese Symmetrie, dass die Fouriertransformierte einer Schwartz-Funktion wieder eine Schwartz-Funktion ist. Auf diesem Raum ist daher die Fourier-Transformation ein `F33f`_`[Automorphismus`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Automorphismus]`_`f, also eine stetige, lineare und bijektive Abbildung auf sich selbst. Der topologische `F33f`_`[Dualraum`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Dualraum]`_`f S ′ ( R n ) {\\displaystyle {\\mathcal {S}}'(\\mathbb {R} ^{n})} , also der Raum der stetigen, linearen Funktionale von S ( R n ) → → C {\\displaystyle {\\mathcal {S}}(\\mathbb {R} ^{n})\\to \\mathbb {C} } , heißt Raum der `*temperierten`* Distributionen. Die Menge der temperierten Distributionen S ′ {\\displaystyle {\\mathcal {S}}'} ist umfangreicher als die Menge der Distributionen mit kompaktem Träger, E ′ {\\displaystyle {\\mathcal {E}}'} , was daran liegt, dass die Menge der Schwartz-Funktionen eine Teilmenge des Raums der glatten Funktionen ist. Je kleiner ein Funktionenraum ist, desto größer ist nämlich sein Dualraum. Daher ist auch die Menge der temperierten Distributionen im Raum D ′ {\\displaystyle {\\mathcal {D}}'} enthalten. Denn die Menge der glatten Funktionen mit kompaktem Träger ist eine Teilmenge des Schwartz-Raums.

Die Fouriertransformation von T ∈ ∈ S ′ ( R n ) {\\displaystyle T\\in S'(\\mathbb {R} ^{n})} kann für alle ϕ ϕ ∈ ∈ S ( R n ) {\\displaystyle \\phi \\in S(\\mathbb {R} ^{n})} durch

F ( T ) ( ϕ ϕ ) := T ( F ( ϕ ϕ ) ) {\\displaystyle {\\mathcal {F}}(T)(\\phi ):=T({\\mathcal {F}}(\\phi ))}

definiert werden. Auch auf S ′ ( R n ) {\\displaystyle {\\mathcal {S}}'(\\mathbb {R} ^{n})} ist die Fouriertransformation ein Automorphismus. Die Fouriertransformierte der Delta-Distribution ist eine konstante Distribution, F ( δ δ ) ( ϕ ϕ ) = ( 2 π π ) − − n / 2 ( ϕ ϕ ) {\\displaystyle {\\mathcal {F}}({\\mathcal {\\delta }})(\\phi )=(2\\pi )^{-n/2}(\\phi )} . Ein anderes Beispiel für eine temperierte Distribution ist der oben schon erwähnte Dirac-Kamm.

>>>Faltungstheorem

Im Zusammenhang mit den obigen Definitionen der Faltung zweier Distributionen und der Fouriertransformation einer Distribution ist das `F33f`_`[Faltungstheorem`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Faltungstheorem]`_`f interessant, das man wie folgt formulieren kann:

Sei T 1 ∈ ∈ S ′ ( Ω Ω ) {\\displaystyle T_{1}\\in {\\mathcal {S}}'(\\Omega )} eine temperierte Distribution und T 2 ∈ ∈ E ′ ( Ω Ω ) {\\displaystyle T_{2}\\in {\\mathcal {E}}'(\\Omega )} eine Distribution mit kompaktem Träger, dann gilt T 1 ∗ ∗ T 2 ∈ ∈ S ′ ( Ω Ω ) {\\displaystyle T_{1}*T_{2}\\in {\\mathcal {S}}'(\\Omega )} und das Faltungstheorem für Distributionen besagt:

F ( T 1 ∗ ∗ T 2 ) = ( 2 π π ) n 2 F ( T 1 ) ⋅ ⋅ F ( T 2 ) . {\\displaystyle {\\mathcal {F}}(T_{1}*T_{2})=(2\\pi )^{\\tfrac {n}{2}}{\\mathcal {F}}(T_{1})\\cdot {\\mathcal {F}}(T_{2}).}

Die Multiplikation zweier Distributionen ist im Allgemeinen nicht definiert. In diesem besonderen Fall ist F ( T 1 ) ⋅ ⋅ F ( T 2 ) {\\displaystyle {\\mathcal {F}}(T_{1})\\cdot {\\mathcal {F}}(T_{2})} allerdings sinnvoll, weil F ( T 2 ) {\\displaystyle {\\mathcal {F}}(T_{2})} eine glatte Funktion ist.

>>Differentialgleichungen

Da jede lokal-integrierbare L l o c 1 {\\displaystyle L_{loc}^{1}} -Funktion, insbesondere auch jede L 2 {\\displaystyle L^{2}} -Funktion eine Distribution erzeugt, kann man diesen Funktionen im `F33f`_`[schwachen Sinn`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Schwache_Ableitung]`_`f eine Distribution als Ableitung zuordnen. Lässt man Distributionen als Lösung einer `F33f`_`[Differentialgleichung`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Differentialgleichung]`_`f zu, so vergrößert sich der Lösungsraum dieser Gleichung. Im Folgenden wird kurz dargelegt, was eine distributionelle Lösung einer Differentialgleichung ist und wie die `F33f`_`[Fundamentallösung`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Fundamentallösung]`_`f definiert ist.

>>>Lösungen im Distributionensinne

→

Hauptartikel

:

Distributionelle Lösung

Sei

P ( x , ∂ ∂ x ) u = ∑ ∑ | α α | ≤ ≤ m a α α ∂ ∂ x α α u {\\displaystyle P(x,\\partial _{x})u=\\sum _{|\\alpha |\\leq m}a_{\\alpha }\\partial _{x}^{\\alpha }u}

ein `F33f`_`[Differentialoperator`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Differentialoperator]`_`f mit glatten Koeffizientenfunktionen a α α ∈ ∈ C ∞ ∞ ( G ) {\\displaystyle a_{\\alpha }\\in C^{\\infty }(G)} . Eine Distribution u ∈ ∈ D ′ ( G ) {\\displaystyle u\\in {\\mathcal {D}}'(G)} heißt Distributionenlösung von P ( x , ∂ ∂ x ) u ( x ) = f ( x ) {\\displaystyle P(x,\\partial _{x})u(x)=f(x)} , falls die von P ( x , ∂ ∂ x ) u {\\displaystyle P(x,\\partial _{x})u} und f {\\displaystyle f} erzeugten Distributionen übereinstimmen. Dies bedeutet

P ( x , ∂ ∂ x ) u ( ϕ ϕ ) = f ( ϕ ϕ ) {\\displaystyle P(x,\\partial _{x})u(\\phi )=f(\\phi )}

für alle ϕ ϕ ∈ ∈ D ( G ) {\\displaystyle \\phi \\in {\\mathcal {D}}(G)} . Falls die Distribution u {\\displaystyle u} regulär und sogar m {\\displaystyle m} -mal stetig differenzierbar ist, dann ist u {\\displaystyle u} eine klassische Lösung der Differentialgleichung.

>>>Beispiel

>>>>Konstante Funktionen

Alle distributionellen Lösungen der eindimensionalen Differentialgleichung

∂ ∂ ∂ ∂ x u ( x ) = 0 {\\displaystyle {\\frac {\\partial }{\\partial x}}u(x)=0}

sind die konstanten Funktionen. Das heißt, für alle ϕ ϕ ∈ ∈ D ( R ) {\\displaystyle \\phi \\in {\\mathcal {D}}(\\mathbb {R} )} wird die Gleichung

∫ ∫ R ∂ ∂ u ∂ ∂ x ( x ) ϕ ϕ ( x ) d x = ∫ ∫ R 0 ϕ ϕ ( x ) d x ⟺ ⟺ ∫ ∫ R ∂ ∂ u ∂ ∂ x ( x ) ϕ ϕ ( x ) d x = 0 {\\displaystyle \\int _{\\mathbb {R} }{\\frac {\\partial u}{\\partial x}}(x)\\phi (x)\\mathrm {d} x=\\int _{\\mathbb {R} }0\\phi (x)\\mathrm {d} x\\quad \\Longleftrightarrow \\quad \\int _{\\mathbb {R} }{\\frac {\\partial u}{\\partial x}}(x)\\phi (x)\\mathrm {d} x=0}

nur von konstantem u {\\displaystyle u} gelöst.

>>>>Poisson-Gleichung

→

Hauptartikel

:

Poisson-Gleichung

Ein prominentes Beispiel ist die formale Identität

Δ Δ 1 | x − − y | = − − 4 π π δ δ ( x − − y ) {\\displaystyle \\Delta \\,{\\frac {1}{|x-y|}}=-4\\pi \\,\\delta (x-y)}

aus der `F33f`_`[Elektrostatik`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Elektrostatik]`_`f, wobei mit Δ Δ {\\displaystyle \\Delta } der `F33f`_`[Laplace-Operator`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Laplace-Operator]`_`f bezeichnet wird. Präzise bedeutet das

Δ Δ ∫ ∫ R 3 ϕ ϕ ( y ) | x − − y | d 3 y = − − 4 π π ϕ ϕ ( x ) . {\\displaystyle \\Delta \\int _{\\mathbb {R} ^{3}}{\\frac {\\phi (y)}{|x-y|}}\\mathrm {d} ^{3}y=-4\\pi \\phi (x).}

Das heißt

U ( x ) := ∫ ∫ R 3 ϕ ϕ ( y ) | x − − y | d 3 y {\\displaystyle U(x):=\\int _{\\mathbb {R} ^{3}}{\\frac {\\phi (y)}{|x-y|}}\\mathrm {d} ^{3}y}

ist für alle ϕ ϕ ∈ ∈ D ( R 3 ) {\\displaystyle \\phi \\in {\\mathcal {D}}(\\mathbb {R} ^{3})} eine Lösung der Poisson-Gleichung

Δ Δ U ( x ) = − − 4 π π ϕ ϕ ( x ) . {\\displaystyle \\Delta U(x)=-4\\pi \\phi (x).}

Man sagt auch, dass 1 | x − − y | {\\displaystyle {\\tfrac {1}{|x-y|}}} die hier betrachtete Poisson-Gleichung im distributionellen Sinn löst.

>>>Fundamentallösungen

→

Hauptartikel

:

Fundamentallösung

Sei P ( x , ∂ ∂ x ) {\\displaystyle P(x,\\partial _{x})} nun ein linearer Differentialoperator. Eine Distribution H ∈ ∈ D ′ ( R n ) {\\displaystyle H\\in {\\mathcal {D}}'(\\mathbb {R} ^{n})} heißt Fundamentallösung, falls H {\\displaystyle H} die Differentialgleichung

P ( x , ∂ ∂ x ) u = δ δ 0 {\\displaystyle P(x,\\partial _{x})u=\\delta _{0}}

im Distributionensinne löst.

Die Menge aller Fundamentallösungen von P ( x , ∂ ∂ x ) {\\displaystyle P(x,\\partial _{x})} ergibt sich durch Addition einer speziellen Fundamentallösung H {\\displaystyle H} mit der allgemeinen homogenen Lösung H 0 {\\displaystyle H_{0}} . Die allgemeine homogene Lösung ist die Menge der Distributionen, für die P ( x , ∂ ∂ x ) u = 0 {\\displaystyle P(x,\\partial _{x})u=0} gilt. Nach einem Satz von `F33f`_`[Bernard Malgrange`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Bernard_Malgrange]`_`f besitzt jeder lineare Differentialoperator mit konstanten Koeffizienten eine Fundamentallösung H ∈ ∈ D ′ ( R n ) {\\displaystyle H\\in {\\mathcal {D}}'(\\mathbb {R} ^{n})} .

Mit Hilfe dieser Fundamentallösungen erhält man durch Faltung Lösungen entsprechender inhomogener Differentialgleichungen. Sei f {\\displaystyle f} eine glatte Funktion (oder allgemeiner eine Distribution mit kompaktem Träger), dann ergibt sich wegen

P ( x , ∂ ∂ x ) ( H ∗ ∗ f ) = P ( x , ∂ ∂ x ) H ∗ ∗ f = δ δ 0 ∗ ∗ f = f {\\displaystyle P(x,\\partial _{x})(H*f)=P(x,\\partial _{x})H*f=\\delta _{0}*f=f}

eine Lösung von P ( x , ∂ ∂ x ) u = f {\\displaystyle P(x,\\partial _{x})u=f} in der Form

u = H ∗ ∗ f , {\\displaystyle u=H*f,}

wobei H ∈ ∈ D ′ ( R n ) {\\displaystyle H\\in {\\mathcal {D}}'(\\mathbb {R} ^{n})} genauso wie oben eine Fundamentallösung des Differentialoperators ist.

>>>Harmonische Distributionen

Analog zu den `F33f`_`[harmonischen Funktionen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Harmonische_Funktion]`_`f definiert man auch harmonische Distributionen. So heißt eine Distribution T {\\displaystyle T} harmonisch, wenn sie der `F33f`_`[Laplace-Gleichung`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Laplace-Gleichung]`_`f

Δ Δ T = 0 {\\displaystyle \\Delta T=0}

im distributionellen Sinne genügt. Da die distributionelle Ableitung allgemeiner ist als das gewöhnliche `F33f`_`[Differential`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Differential_(Mathematik)]`_`f, könnte man auch mehr Lösungen der Laplace-Gleichung erwarten. Das ist jedoch falsch, weil es für jede harmonische Distribution T ∈ ∈ D ′ ( Ω Ω ) {\\displaystyle T\\in {\\mathcal {D}}'(\\Omega )} eine glatte Funktion gibt, die diese Distribution erzeugt. Es gibt also keine singulären Distributionen, die die Gleichung erfüllen, insbesondere ist der singuläre Träger einer harmonischen Distribution leer. Diese Aussage gilt sogar allgemeiner für `F33f`_`[elliptische partielle Differentialgleichungen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Elliptische_partielle_Differentialgleichung]`_`f. Für Physiker und Ingenieure bedeutet dies, dass sie in der `F33f`_`[Elektrodynamik`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Elektrodynamik]`_`f, zum Beispiel in der Theorie der `F33f`_`[maxwellschen Gleichungen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Maxwellsche_Gleichungen]`_`f, unbedenklich mit Distributionen arbeiten können, auch wenn sie nur an gewöhnlichen Funktionen interessiert sind.

>>Distributionen als Integralkerne

→

Hauptartikel

:

Kernsatz von Schwartz

Jede Testfunktion K ∈ ∈ D ( Ω Ω 1 × × Ω Ω 2 ) {\\displaystyle K\\in {\\mathcal {D}}(\\Omega _{1}\\times \\Omega _{2})} kann man durch

( K ϕ ϕ ) ( x ) = ∫ ∫ Ω Ω 2 K ( x , y ) ϕ ϕ ( y ) d y {\\displaystyle ({\\mathcal {K}}\\phi )(x)=\\int _{\\Omega _{2}}K(x,y)\\phi (y)\\mathrm {d} y}

mit einem `F33f`_`[Integraloperator`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Integraloperator]`_`f K : : D ( Ω Ω 2 ) → → C ( Ω Ω 1 ) {\\displaystyle {\\mathcal {K}}\\colon {\\mathcal {D}}(\\Omega _{2})\\to C(\\Omega _{1})} identifizieren. Diese Identifikation kann auf Distributionen erweitert werden. So gibt es zu jeder Distribution K ∈ ∈ D ′ ( Ω Ω 1 × × Ω Ω 2 ) {\\displaystyle K\\in {\\mathcal {D}}'(\\Omega _{1}\\times \\Omega _{2})} einen `F33f`_`[linearen Operator`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Linearer_Operator]`_`f

K : : D ( Ω Ω 2 ) → → D ′ ( Ω Ω 1 ) , {\\displaystyle {\\mathcal {K}}\\colon {\\mathcal {D}}(\\Omega _{2})\\to {\\mathcal {D}}'(\\Omega _{1}),}

der für alle ψ ψ ∈ ∈ D ( Ω Ω 1 ) {\\displaystyle \\psi \\in {\\mathcal {D}}(\\Omega _{1})} und ϕ ϕ ∈ ∈ D ( Ω Ω 2 ) {\\displaystyle \\phi \\in {\\mathcal {D}}(\\Omega _{2})} durch

( K ϕ ϕ ) ( ψ ψ ) = K ( ϕ ϕ ⊗ ⊗ ψ ψ ) {\\displaystyle ({\\mathcal {K}}\\phi )(\\psi )=K(\\phi \\otimes \\psi )}

gegeben ist. Außerdem gilt auch die Rückrichtung. So gibt es zu jedem Operator K {\\displaystyle {\\mathcal {K}}} eine eindeutige Distribution K , {\\displaystyle K,} sodass ( K ϕ ϕ ) ( ψ ψ ) = K ( ϕ ϕ , ψ ψ ) {\\displaystyle ({\\mathcal {K}}\\phi )(\\psi )=K(\\phi ,\\psi )} gilt. Diese Identifikation zwischen Operator K : : D ( Ω Ω 2 ) → → D ′ ( Ω Ω 1 ) {\\displaystyle {\\mathcal {K}}\\colon {\\mathcal {D}}(\\Omega _{2})\\to {\\mathcal {D}}'(\\Omega _{1})} und Distribution K ∈ ∈ D ′ ( Ω Ω 1 × × Ω Ω 2 ) {\\displaystyle K\\in {\\mathcal {D}}'(\\Omega _{1}\\times \\Omega _{2})} ist die Aussage des Kernsatzes von Schwartz. Die Distribution K {\\displaystyle K} trägt auch den Namen `*Schwartz-Kern`* in Anlehnung an den Begriff des Integralkerns. Jedoch kann der Operator K : : D ( Ω Ω 2 ) → → D ′ ( Ω Ω 1 ) {\\displaystyle {\\mathcal {K}}\\colon {\\mathcal {D}}(\\Omega _{2})\\to {\\mathcal {D}}'(\\Omega _{1})} nicht immer in Form eines Integralterms dargestellt werden.

>>Distributionen auf Mannigfaltigkeiten

>>>Rücktransport

Man kann Distributionen mit Hilfe von `F33f`_`[Diffeomorphismen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Diffeomorphismus]`_`f auf reellen Teilmengen hin- und zurücktransportieren. Seien Ω Ω 1 , Ω Ω 2 ⊂ ⊂ R n {\\displaystyle \\Omega _{1},\\,\\Omega _{2}\\subset \\mathbb {R} ^{n}} zwei reelle Teilmengen und ψ ψ : : Ω Ω 1 → → Ω Ω 2 {\\displaystyle \\psi \\colon \\Omega _{1}\\to \\Omega _{2}} ein Diffeomorphismus, also eine stetig differenzierbare, `F33f`_`[bijektive Funktion`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Bijektive_Funktion]`_`f, deren `F33f`_`[Umkehrabbildung`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Umkehrabbildung]`_`f ebenfalls stetig differenzierbar ist. Für u ∈ ∈ C ( Ω Ω 2 ) {\\displaystyle u\\in C(\\Omega _{2})} gilt u ∘ ∘ ψ ψ ∈ ∈ C ( Ω Ω 1 ) {\\displaystyle u\\circ \\psi \\in C(\\Omega _{1})} und für alle Testfunktionen ϕ ϕ ∈ ∈ D ( Ω Ω 1 ) {\\displaystyle \\phi \\in {\\mathcal {D}}(\\Omega _{1})} gilt aufgrund des `F33f`_`[Transformationssatzes`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Transformationssatz]`_`f die Gleichung

∫ ∫ Ω Ω 1 u ( ψ ψ ( x 1 ) ) ϕ ϕ ( x 1 ) d x 1 = ∫ ∫ Ω Ω 2 u ( x 2 ) ϕ ϕ ( ψ ψ − − 1 ( x 2 ) ) | det ( ∂ ∂ ∂ ∂ x 2 ψ ψ − − 1 ( x 2 ) ) | d x 2 . {\\displaystyle \\int _{\\Omega _{1}}u(\\psi (x_{1}))\\phi (x_{1})\\mathrm {d} x_{1}=\\int _{\\Omega _{2}}u(x_{2})\\phi (\\psi ^{-1}(x_{2}))\\left|\\det \\left({\\frac {\\partial }{\\partial x_{2}}}\\psi ^{-1}(x_{2})\\right)\\right|\\mathrm {d} x_{2}.}

Diese Identität motiviert folgende Definition für die Verkettung einer Distribution mit einem Diffeomorphismus: Sei T ∈ ∈ D ′ ( Ω Ω 2 ) {\\displaystyle T\\in {\\mathcal {D}}'(\\Omega _{2})} , dann ist T ∘ ∘ ψ ψ ∈ ∈ D ′ ( Ω Ω 1 ) {\\displaystyle T\\circ \\psi \\in {\\mathcal {D}}'(\\Omega _{1})} für alle ϕ ϕ ∈ ∈ D ′ ( Ω Ω 2 ) {\\displaystyle \\phi \\in {\\mathcal {D}}'(\\Omega _{2})} definiert durch

( T ∘ ∘ ψ ψ ) ( ϕ ϕ ) : : = T ( ( ϕ ϕ ∘ ∘ ψ ψ − − 1 ) | det ( ∂ ∂ ∂ ∂ x ψ ψ − − 1 ) | ) . {\\displaystyle (T\\circ \\psi )(\\phi )\\colon =T\\left(\\left(\\phi \\circ \\psi ^{-1}\\right)\\left|\\det \\left({\\frac {\\partial }{\\partial x}}\\psi ^{-1}\\right)\\right|\\right).}

Meistens notiert man T ∘ ∘ ψ ψ {\\displaystyle T\\circ \\psi } als ψ ψ ∗ ∗ T {\\displaystyle \\psi ^{*}\\,T} und ψ ψ ∗ ∗ {\\displaystyle \\psi ^{*}} heißt der `F33f`_`[Rücktransport`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Rücktransport]`_`f der Distribution T . {\\displaystyle T.}

>>>Definition

Sei X {\\displaystyle X} eine `F33f`_`[glatte Mannigfaltigkeit`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Differenzierbare_Mannigfaltigkeit]`_`f, ( ψ ψ i : : Ω Ω i ⊂ ⊂ X → → Ω Ω ~ ~ i ⊂ ⊂ R n ) i ∈ ∈ I {\\displaystyle (\\psi _{i}\\colon \\Omega _{i}\\subset X\\to {\\tilde {\\Omega }}_{i}\\subset \\mathbb {R} ^{n})_{i\\in I}} ein `F33f`_`[System von Karten`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Atlas_(Mathematik)]`_`f und T i ∈ ∈ D ′ ( Ω Ω ~ ~ i ) {\\displaystyle T_{i}\\in {\\mathcal {D}}'({\\tilde {\\Omega }}_{i})} , sodass für alle ϕ ϕ ∈ ∈ D ( Ω Ω ~ ~ i ∩ ∩ Ω Ω ~ ~ j ) {\\displaystyle \\phi \\in {\\mathcal {D}}({\\tilde {\\Omega }}_{i}\\cap {\\tilde {\\Omega }}_{j})}

T j ( ϕ ϕ ) : : = ( ψ ψ i ∘ ∘ ψ ψ j − − 1 ) ∗ ∗ T i ( ϕ ϕ ) {\\displaystyle T_{j}(\\phi )\\colon =(\\psi _{i}\\circ \\psi _{j}^{-1})^{*}\\,T_{i}(\\phi )}

in ψ ψ i ( Ω Ω j ∩ ∩ Ω Ω i ) {\\displaystyle \\psi _{i}(\\Omega _{j}\\cap \\Omega _{i})} gilt. Dann nennt man das System T : : = ( T i ) i ∈ ∈ I {\\displaystyle T\\colon =(T_{i})_{i\\in I}} eine Distribution auf X {\\displaystyle X} . Diese Distribution T ∈ ∈ D ′ ( X ) {\\displaystyle T\\in {\\mathcal {D}}'(X)} ist eindeutig bestimmt und von der Wahl der Karte unabhängig.

Es gibt noch andere Möglichkeiten, Distributionen auf Mannigfaltigkeiten zu definieren. Die Definition im Zusammenhang mit `F33f`_`[Dichtebündeln`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Dichtebündel]`_`f hat den Vorteil, dass dort kein System lokaler Karten gewählt werden muss.

>>>Reguläre Distributionen auf Mannigfaltigkeiten

Bei dieser Definition kann man wieder jeder stetigen Funktion mittels der Integraldarstellung eine Distribution zuordnen. Sei also u ∈ ∈ C ( M ) {\\displaystyle u\\in C(M)} eine stetige Funktion auf der Mannigfaltigkeit, dann ist u ∘ ∘ ψ ψ i − − 1 {\\displaystyle u\\circ \\psi _{i}^{-1}} eine stetige Funktion auf Ω Ω ~ ~ i ⊂ ⊂ R n {\\displaystyle {\\tilde {\\Omega }}_{i}\\subset \\mathbb {R} ^{n}} . Mittels der Integraldarstellung für reguläre Distributionen

T i ( ϕ ϕ ) : : = ∫ ∫ Ω Ω ~ ~ i ( u ∘ ∘ ψ ψ i − − 1 ) ( x i ) ϕ ϕ ( x i ) d x i {\\displaystyle T_{i}(\\phi )\\colon =\\int _{{\\tilde {\\Omega }}_{i}}(u\\circ \\psi _{i}^{-1})(x_{i})\\phi (x_{i})\\mathrm {d} x_{i}}

erhält man ein System ( T i ) i ∈ ∈ I , {\\displaystyle (T_{i})_{i\\in I},} das eine Distribution auf M {\\displaystyle M} bildet.

>>Einzelnachweise

`:cite-note-1`!1.`! `F0af`_`[↑`#cite-ref-1]`_`f Paul Adrien Maurice Dirac: `*The principles of quantum mechanics.`* Clarendon Press, 1947.

`:cite-note-2`!2.`! `F0af`_`[↑`#cite-ref-2]`_`f Sergei Lwowitsch Sobolew: `*Méthode nouvelle à résoudre le problème de Cauchy pour les équations linéaires hyperboliques normales.`* Mat. Sb. 1, 1936, S. 39–72.

`:cite-note-3`!3.`! `F0af`_`[↑`#cite-ref-3]`_`f Laurent Schwartz: `*Théorie des distributions 1–2.`* Hermann, 1950–1951.

`:cite-note-4`!4.`! `F0af`_`[↑`#cite-ref-4]`_`f Laurent Schwartz: `*Théorie des distributions.`* 1–2, S. 74, Hermann, 1950–1951.

`:cite-note-5`!5.`! `F0af`_`[↑`#cite-ref-5]`_`f `F33f`_`[Lars Hörmander`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Lars_Hörmander]`_`f: `*The Analysis of Linear Partial Differential Operators.`* Band 1: `*Distribution Theory and Fourier Analysis.`* Second Edition. Springer-Verlag, Berlin u. a. 1990, ISBN 3-540-52345-6 (`*Grundlehren der mathematischen Wissenschaften`* 256), S. 41.

`:cite-note-6`!6.`! `F0af`_`[↑`#cite-ref-6]`_`f `F33f`_`[Lars Hörmander`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Lars_Hörmander]`_`f: `*The Analysis of Linear Partial Differential Operators.`* Band 1: `*Distribution Theory and Fourier Analysis.`* Second Edition. Springer-Verlag, Berlin u. a. 1990, ISBN 3-540-52345-6 (`*Grundlehren der mathematischen Wissenschaften`* 256), S. 41–42.

`:cite-note-7`!7.`! `F0af`_`[↑`#cite-ref-7]`_`f `F33f`_`[Lars Hörmander`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Lars_Hörmander]`_`f: `*The Analysis of Linear Partial Differential Operators.`* Band 1: `*Distribution Theory and Fourier Analysis.`* Second Edition. Springer-Verlag, Berlin u. a. 1990, ISBN 3-540-52345-6 (`*Grundlehren der mathematischen Wissenschaften`* 256), S. 42.

>>Literatur

• `F33f`_`[Israel Gelfand`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Israel_Gelfand]`_`f: `*Verallgemeinerte Funktionen (Distributionen).`* VEB Deutscher Verlag der Wissenschaften, Berlin (Ost).

• Band 1: I. M. Gelfand, `F33f`_`[G. E. Schilow`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Georgi_Jewgenjewitsch_Schilow]`_`f: `*Verallgemeinerte Funktionen und das Rechnen mit ihnen.`* 1960 (`*`F33f`_`[Hochschulbücher für Mathematik`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Hochschulbücher_für_Mathematik]`_`f`* 47, `F33f`_`[ISSN`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Internationale_Standardnummer_für_fortlaufende_Sammelwerke]`_`f 0073-2842).

• Band 2: I. M. Gelfand, G. E. Schilow: `*Lineare topologische Räume, Räume von Grundfunktionen und verallgemeinerten Funktionen.`* 1962 (`*Hochschulbücher für Mathematik`* 48).

• Band 3: I. M. Gelfand, G. E. Schilow: `*Einige Fragen zur Theorie der Differentialgleichungen.`* 1964 (`*Hochschulbücher für Mathematik`* 49).

• Band 4: I. M. Gelfand, `F33f`_`[N. J. Wilenkin`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Naum_Jakowlewitsch_Wilenkin]`_`f: `*Einige Anwendungen der harmonischen Analyse. Gelfandsche Raumtripel.`* 1964 (`*Hochschulbücher für Mathematik`* 50).

• Nur in russischer Sprache: `*Обобщенные функции.`* Том 5: И. М. Гельфанд, М. И. Граев, Н. Я. Виленкин: `*Интегральная геометрия и связанные с ней вопросы теории представлений.`* Гос. Изд. Физ.-Мат. Лит., Москва 1962.

• `F33f`_`[Lars Hörmander`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Lars_Hörmander]`_`f: `*The Analysis of Linear Partial Differential Operators.`* Band 1: `*Distribution Theory and Fourier Analysis.`* Second Edition. Springer-Verlag, Berlin u. a. 1990, ISBN 3-540-52345-6 (`*Grundlehren der mathematischen Wissenschaften`* 256).

• `F33f`_`[M. J. Lighthill`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Michael_James_Lighthill]`_`f: `*An introduction to Fourier analysis and generalised functions.`* Reprinted. Cambridge University Press, Cambridge 2003, ISBN 0-521-09128-4 `*(Cambridge monographs on mechanics and applied mathematics).`*

• Klaus-Heinrich Peters: `*Der Zusammenhang von Mathematik und Physik am Beispiel der Geschichte der Distributionen. Eine historische Untersuchung über die Grundlagen der Physik im Grenzbereich zu Mathematik, Philosophie und Kunst.`* Hamburg 2004 (Hamburg, Univ., Diss., 2004).

• `F33f`_`[V. S. Vladimirov`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Wassili_Sergejewitsch_Wladimirow]`_`f: `*Generalized function.`* In: `F33f`_`[Michiel Hazewinkel`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Michiel_Hazewinkel]`_`f: `*`F33f`_`[Encyclopaedia of Mathematics`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Encyclopaedia_of_Mathematics]`_`f.`* Springer-Verlag, Berlin u. a. 2001, ISBN 1-55608-010-7.

• Joseph Wloka: `*Grundräume und Verallgemeinerte Funktionen.`* Springer-Verlag, Berlin u. a. 1969 (`*Lecture notes in mathematics.`* 82, `F33f`_`[ISSN`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Internationale_Standardnummer_für_fortlaufende_Sammelwerke]`_`f 0075-8434).

`c`F0af`_`[↑ Back to top`#top]`_`f`a